0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.18/0.30 c #variables 15827 #constraints 16095
112.90/113.71 c #Conflicts: 1000 | #Constraints: 17094
112.90/113.71 c #Conflicts: 2000 | #Constraints: 18094
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 3000 | #Constraints: 17312
112.90/113.71 c #Conflicts: 4000 | #Constraints: 18312
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 5000 | #Constraints: 17811
112.90/113.71 c #Conflicts: 6000 | #Constraints: 18811
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 7000 | #Constraints: 17894
112.90/113.71 c #Conflicts: 8000 | #Constraints: 18894
112.90/113.71 c #Conflicts: 9000 | #Constraints: 19894
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 10000 | #Constraints: 18669
112.90/113.71 c #Conflicts: 11000 | #Constraints: 19669
112.90/113.71 c #Conflicts: 12000 | #Constraints: 20669
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 13000 | #Constraints: 19166
112.90/113.71 c #Conflicts: 14000 | #Constraints: 20166
112.90/113.71 c #Conflicts: 15000 | #Constraints: 21166
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 16000 | #Constraints: 19445
112.90/113.71 c #Conflicts: 17000 | #Constraints: 20445
112.90/113.71 c #Conflicts: 18000 | #Constraints: 21445
112.90/113.71 c #Conflicts: 19000 | #Constraints: 22445
112.90/113.71 c #Conflicts: 20000 | #Constraints: 23445
112.90/113.71 c #Conflicts: 21000 | #Constraints: 24445
112.90/113.71 c #Conflicts: 22000 | #Constraints: 25445
112.90/113.71 c #Conflicts: 23000 | #Constraints: 26445
112.90/113.71 c #Conflicts: 24000 | #Constraints: 27445
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 25000 | #Constraints: 22417
112.90/113.71 c #Conflicts: 26000 | #Constraints: 23417
112.90/113.71 c #Conflicts: 27000 | #Constraints: 24417
112.90/113.71 c #Conflicts: 28000 | #Constraints: 25417
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 29000 | #Constraints: 21268
112.90/113.71 c #Conflicts: 30000 | #Constraints: 22268
112.90/113.71 c #Conflicts: 31000 | #Constraints: 23268
112.90/113.71 c #Conflicts: 32000 | #Constraints: 24268
112.90/113.71 c #Conflicts: 33000 | #Constraints: 25268
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 34000 | #Constraints: 21498
112.90/113.71 c #Conflicts: 35000 | #Constraints: 22498
112.90/113.71 c #Conflicts: 36000 | #Constraints: 23498
112.90/113.71 c #Conflicts: 37000 | #Constraints: 24498
112.90/113.71 c #Conflicts: 38000 | #Constraints: 25498
112.90/113.71 c #Conflicts: 39000 | #Constraints: 26498
112.90/113.71 c #Conflicts: 40000 | #Constraints: 27498
112.90/113.71 c #Conflicts: 41000 | #Constraints: 28498
112.90/113.71 c #Conflicts: 42000 | #Constraints: 29498
112.90/113.71 c #Conflicts: 43000 | #Constraints: 30498
112.90/113.71 c #Conflicts: 44000 | #Constraints: 31498
112.90/113.71 c #Conflicts: 45000 | #Constraints: 32498
112.90/113.71 c #Conflicts: 46000 | #Constraints: 33498
112.90/113.71 c #Conflicts: 47000 | #Constraints: 34498
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 48000 | #Constraints: 26288
112.90/113.71 c #Conflicts: 49000 | #Constraints: 27288
112.90/113.71 c #Conflicts: 50000 | #Constraints: 28288
112.90/113.71 c #Conflicts: 51000 | #Constraints: 29288
112.90/113.71 c #Conflicts: 52000 | #Constraints: 30288
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 53000 | #Constraints: 23803
112.90/113.71 c #Conflicts: 54000 | #Constraints: 24803
112.90/113.71 c #Conflicts: 55000 | #Constraints: 25803
112.90/113.71 c #Conflicts: 56000 | #Constraints: 26803
112.90/113.71 c #Conflicts: 57000 | #Constraints: 27803
112.90/113.71 c #Conflicts: 58000 | #Constraints: 28803
112.90/113.71 c INPROCESSING
112.90/113.71 c GARBAGE COLLECT
112.90/113.71 c #Conflicts: 59000 | #Constraints: 23043
112.90/113.71 c #Conflicts: 60000 | #Constraints: 24043
112.90/113.71 c #Conflicts: 61000 | #Constraints: 25043
112.90/113.71 c #Conflicts: 62000 | #Constraints: 26043
112.90/113.71 c #Conflicts: 63000 | #Constraints: 27043
112.90/113.71 c #Conflicts: 64000 | #Constraints: 28043
112.90/113.71 c #Conflicts: 65000 | #Constraints: 29043
112.90/113.71 c #Conflicts: 66000 | #Constraints: 30043
112.90/113.71 c #Conflicts: 67000 | #Constraints: 31043
112.90/113.71 c #Conflicts: 68000 | #Constraints: 32043
112.90/113.71 c #Conflicts: 69000 | #Constraints: 33043
112.90/113.71 c #Conflicts: 70000 | #Constraints: 34043
112.90/113.71 c #Conflicts: 71000 | #Constraints: 35043
112.90/113.71 c #Conflicts: 72000 | #Constraints: 36043
246.91/248.15 c #Conflicts: 73000 | #Constraints: 37043
246.91/248.15 c #Conflicts: 74000 | #Constraints: 38043
246.91/248.15 c #Conflicts: 75000 | #Constraints: 39043
246.91/248.15 c #Conflicts: 76000 | #Constraints: 40043
246.91/248.15 c INPROCESSING
246.91/248.15 c GARBAGE COLLECT
246.91/248.15 c #Conflicts: 77000 | #Constraints: 28761
246.91/248.15 c #Conflicts: 78000 | #Constraints: 29761
246.91/248.15 c #Conflicts: 79000 | #Constraints: 30761
246.91/248.15 c #Conflicts: 80000 | #Constraints: 31761
246.91/248.15 c #Conflicts: 81000 | #Constraints: 32761
246.91/248.15 c #Conflicts: 82000 | #Constraints: 33761
246.91/248.15 c #Conflicts: 83000 | #Constraints: 34761
246.91/248.15 c #Conflicts: 84000 | #Constraints: 35761
246.91/248.15 c INPROCESSING
246.91/248.15 c GARBAGE COLLECT
246.91/248.15 c #Conflicts: 85000 | #Constraints: 27078
246.91/248.15 c #Conflicts: 86000 | #Constraints: 28078
246.91/248.15 c #Conflicts: 87000 | #Constraints: 29078
246.91/248.15 c #Conflicts: 88000 | #Constraints: 30078
246.91/248.15 c #Conflicts: 89000 | #Constraints: 31078
246.91/248.15 c #Conflicts: 90000 | #Constraints: 32078
246.91/248.15 c #Conflicts: 91000 | #Constraints: 33078
246.91/248.15 c INPROCESSING
246.91/248.15 c GARBAGE COLLECT
246.91/248.15 c #Conflicts: 92000 | #Constraints: 25494
246.91/248.15 c #Conflicts: 93000 | #Constraints: 26494
246.91/248.15 c #Conflicts: 94000 | #Constraints: 27494
246.91/248.15 c #Conflicts: 95000 | #Constraints: 28494
246.91/248.15 c #Conflicts: 96000 | #Constraints: 29494
246.91/248.15 c #Conflicts: 97000 | #Constraints: 30494
246.91/248.15 c #Conflicts: 98000 | #Constraints: 31494
246.91/248.15 c #Conflicts: 99000 | #Constraints: 32494
246.91/248.15 c #Conflicts: 100000 | #Constraints: 33494
246.91/248.15 c #Conflicts: 101000 | #Constraints: 34495
246.91/248.15 c #Conflicts: 102000 | #Constraints: 35495
246.91/248.15 c #Conflicts: 103000 | #Constraints: 36495
246.91/248.15 c #Conflicts: 104000 | #Constraints: 37495
246.91/248.15 c #Conflicts: 105000 | #Constraints: 38495
246.91/248.15 c #Conflicts: 106000 | #Constraints: 39495
246.91/248.15 c #Conflicts: 107000 | #Constraints: 40495
246.91/248.15 c #Conflicts: 108000 | #Constraints: 41495
246.91/248.15 c #Conflicts: 109000 | #Constraints: 42495
246.91/248.15 c #Conflicts: 110000 | #Constraints: 43495
246.91/248.15 c #Conflicts: 111000 | #Constraints: 44495
246.91/248.15 c #Conflicts: 112000 | #Constraints: 45495
246.91/248.15 c #Conflicts: 113000 | #Constraints: 46495
246.91/248.15 c INPROCESSING
246.91/248.15 c GARBAGE COLLECT
246.91/248.15 c #Conflicts: 114000 | #Constraints: 32175
246.91/248.15 c #Conflicts: 115000 | #Constraints: 33175
246.91/248.15 c #Conflicts: 116000 | #Constraints: 34175
246.91/248.15 c #Conflicts: 117000 | #Constraints: 35175
246.91/248.15 c #Conflicts: 118000 | #Constraints: 36175
246.91/248.15 c #Conflicts: 119000 | #Constraints: 37175
246.91/248.15 c #Conflicts: 120000 | #Constraints: 38175
246.91/248.15 c #Conflicts: 121000 | #Constraints: 39175
246.91/248.15 c #Conflicts: 122000 | #Constraints: 40175
246.91/248.15 c INPROCESSING
246.91/248.15 c GARBAGE COLLECT
246.91/248.15 c #Conflicts: 123000 | #Constraints: 29022
246.91/248.15 c #Conflicts: 124000 | #Constraints: 30022
246.91/248.15 c #Conflicts: 125000 | #Constraints: 31022
246.91/248.15 c #Conflicts: 126000 | #Constraints: 32022
246.91/248.15 c #Conflicts: 127000 | #Constraints: 33022
246.91/248.15 c #Conflicts: 128000 | #Constraints: 34022
246.91/248.15 c #Conflicts: 129000 | #Constraints: 35022
246.91/248.15 c #Conflicts: 130000 | #Constraints: 36022
246.91/248.15 c #Conflicts: 131000 | #Constraints: 37022
246.91/248.15 c INPROCESSING
246.91/248.15 c GARBAGE COLLECT
246.91/248.15 c #Conflicts: 132000 | #Constraints: 28046
246.91/248.15 c #Conflicts: 133000 | #Constraints: 29046
246.91/248.15 c #Conflicts: 134000 | #Constraints: 30046
246.91/248.15 c #Conflicts: 135000 | #Constraints: 31046
246.91/248.15 c #Conflicts: 136000 | #Constraints: 32046
246.91/248.15 c #Conflicts: 137000 | #Constraints: 33046
246.91/248.15 c #Conflicts: 138000 | #Constraints: 34046
246.91/248.15 c #Conflicts: 139000 | #Constraints: 35046
246.91/248.15 c #Conflicts: 140000 | #Constraints: 36046
246.91/248.15 c #Conflicts: 141000 | #Constraints: 37046
246.91/248.15 c #Conflicts: 142000 | #Constraints: 38046
246.91/248.15 c #Conflicts: 143000 | #Constraints: 39046
246.91/248.15 c #Conflicts: 144000 | #Constraints: 40046
246.91/248.15 c #Conflicts: 145000 | #Constraints: 41046
246.91/248.15 c #Conflicts: 146000 | #Constraints: 42046
246.91/248.15 c #Conflicts: 147000 | #Constraints: 43046
434.25/436.10 c #Conflicts: 148000 | #Constraints: 44046
434.25/436.10 c #Conflicts: 149000 | #Constraints: 45046
434.25/436.10 c #Conflicts: 150000 | #Constraints: 46046
434.25/436.10 c #Conflicts: 151000 | #Constraints: 47046
434.25/436.10 c #Conflicts: 152000 | #Constraints: 48046
434.25/436.10 c #Conflicts: 153000 | #Constraints: 49046
434.25/436.10 c #Conflicts: 154000 | #Constraints: 50046
434.25/436.10 c #Conflicts: 155000 | #Constraints: 51046
434.25/436.10 c #Conflicts: 156000 | #Constraints: 52046
434.25/436.10 c #Conflicts: 157000 | #Constraints: 53046
434.25/436.10 c INPROCESSING
434.25/436.10 c GARBAGE COLLECT
434.25/436.10 c #Conflicts: 158000 | #Constraints: 35461
434.25/436.10 c #Conflicts: 159000 | #Constraints: 36461
434.25/436.10 c #Conflicts: 160000 | #Constraints: 37461
434.25/436.10 c #Conflicts: 161000 | #Constraints: 38461
434.25/436.10 c #Conflicts: 162000 | #Constraints: 39461
434.25/436.10 c #Conflicts: 163000 | #Constraints: 40461
434.25/436.10 c #Conflicts: 164000 | #Constraints: 41461
434.25/436.10 c #Conflicts: 165000 | #Constraints: 42461
434.25/436.10 c #Conflicts: 166000 | #Constraints: 43461
434.25/436.10 c #Conflicts: 167000 | #Constraints: 44461
434.25/436.10 c #Conflicts: 168000 | #Constraints: 45461
434.25/436.10 c INPROCESSING
434.25/436.10 c GARBAGE COLLECT
434.25/436.10 c #Conflicts: 169000 | #Constraints: 32006
434.25/436.10 c #Conflicts: 170000 | #Constraints: 33006
434.25/436.10 c #Conflicts: 171000 | #Constraints: 34006
434.25/436.10 c #Conflicts: 172000 | #Constraints: 35006
434.25/436.10 c #Conflicts: 173000 | #Constraints: 36006
434.25/436.10 c #Conflicts: 174000 | #Constraints: 37006
434.25/436.10 c #Conflicts: 175000 | #Constraints: 38006
434.25/436.10 c #Conflicts: 176000 | #Constraints: 39006
434.25/436.10 c #Conflicts: 177000 | #Constraints: 40006
434.25/436.10 c #Conflicts: 178000 | #Constraints: 41006
434.25/436.10 c INPROCESSING
434.25/436.10 c GARBAGE COLLECT
434.25/436.10 c #Conflicts: 179000 | #Constraints: 30530
434.25/436.10 c #Conflicts: 180000 | #Constraints: 31530
434.25/436.10 c #Conflicts: 181000 | #Constraints: 32530
434.25/436.10 c #Conflicts: 182000 | #Constraints: 33530
434.25/436.10 c #Conflicts: 183000 | #Constraints: 34530
434.25/436.10 c #Conflicts: 184000 | #Constraints: 35530
434.25/436.10 c #Conflicts: 185000 | #Constraints: 36530
434.25/436.10 c #Conflicts: 186000 | #Constraints: 37530
434.25/436.10 c #Conflicts: 187000 | #Constraints: 38530
434.25/436.10 c #Conflicts: 188000 | #Constraints: 39530
434.25/436.10 c #Conflicts: 189000 | #Constraints: 40530
434.25/436.10 c #Conflicts: 190000 | #Constraints: 41530
434.25/436.10 c #Conflicts: 191000 | #Constraints: 42530
434.25/436.10 c #Conflicts: 192000 | #Constraints: 43530
434.25/436.10 c #Conflicts: 193000 | #Constraints: 44530
434.25/436.10 c #Conflicts: 194000 | #Constraints: 45530
434.25/436.10 c #Conflicts: 195000 | #Constraints: 46530
434.25/436.10 c #Conflicts: 196000 | #Constraints: 47530
434.25/436.10 c #Conflicts: 197000 | #Constraints: 48530
434.25/436.10 c #Conflicts: 198000 | #Constraints: 49530
434.25/436.10 c #Conflicts: 199000 | #Constraints: 50530
434.25/436.10 c #Conflicts: 200000 | #Constraints: 51530
434.25/436.10 c #Conflicts: 201000 | #Constraints: 52530
434.25/436.10 c #Conflicts: 202000 | #Constraints: 53530
434.25/436.10 c #Conflicts: 203000 | #Constraints: 54530
434.25/436.10 c #Conflicts: 204000 | #Constraints: 55530
434.25/436.10 c #Conflicts: 205000 | #Constraints: 56530
434.25/436.10 c #Conflicts: 206000 | #Constraints: 57530
434.25/436.10 c #Conflicts: 207000 | #Constraints: 58530
434.25/436.10 c #Conflicts: 208000 | #Constraints: 59530
434.25/436.10 c #Conflicts: 209000 | #Constraints: 60530
434.25/436.10 c INPROCESSING
434.25/436.10 c GARBAGE COLLECT
434.25/436.10 c #Conflicts: 210000 | #Constraints: 39661
434.25/436.10 c #Conflicts: 211000 | #Constraints: 40661
434.25/436.10 c #Conflicts: 212000 | #Constraints: 41661
434.25/436.10 c #Conflicts: 213000 | #Constraints: 42661
434.25/436.10 c #Conflicts: 214000 | #Constraints: 43661
434.25/436.10 c #Conflicts: 215000 | #Constraints: 44661
434.25/436.10 c #Conflicts: 216000 | #Constraints: 45661
434.25/436.10 c #Conflicts: 217000 | #Constraints: 46661
434.25/436.10 c #Conflicts: 218000 | #Constraints: 47661
434.25/436.10 c #Conflicts: 219000 | #Constraints: 48661
434.25/436.10 c #Conflicts: 220000 | #Constraints: 49661
434.25/436.10 c INPROCESSING
434.25/436.10 c GARBAGE COLLECT
434.25/436.10 c #Conflicts: 221000 | #Constraints: 33686
434.25/436.10 c #Conflicts: 222000 | #Constraints: 34686
589.46/591.71 c #Conflicts: 223000 | #Constraints: 35686
589.46/591.71 c #Conflicts: 224000 | #Constraints: 36686
589.46/591.71 c #Conflicts: 225000 | #Constraints: 37686
589.46/591.71 c #Conflicts: 226000 | #Constraints: 38686
589.46/591.71 c #Conflicts: 227000 | #Constraints: 39686
589.46/591.71 c #Conflicts: 228000 | #Constraints: 40686
589.46/591.71 c #Conflicts: 229000 | #Constraints: 41686
589.46/591.71 c #Conflicts: 230000 | #Constraints: 42686
589.46/591.71 c #Conflicts: 231000 | #Constraints: 43686
589.46/591.71 c #Conflicts: 232000 | #Constraints: 44686
589.46/591.71 c INPROCESSING
589.46/591.71 c GARBAGE COLLECT
589.46/591.71 c #Conflicts: 233000 | #Constraints: 32070
589.46/591.71 c #Conflicts: 234000 | #Constraints: 33070
589.46/591.71 c #Conflicts: 235000 | #Constraints: 34070
589.46/591.71 c #Conflicts: 236000 | #Constraints: 35070
589.46/591.71 c #Conflicts: 237000 | #Constraints: 36070
589.46/591.71 c #Conflicts: 238000 | #Constraints: 37070
589.46/591.71 c #Conflicts: 239000 | #Constraints: 38070
589.46/591.71 c #Conflicts: 240000 | #Constraints: 39070
589.46/591.71 c #Conflicts: 241000 | #Constraints: 40070
589.46/591.71 c #Conflicts: 242000 | #Constraints: 41070
589.46/591.71 c #Conflicts: 243000 | #Constraints: 42070
589.46/591.71 c #Conflicts: 244000 | #Constraints: 43070
589.46/591.71 c #Conflicts: 245000 | #Constraints: 44070
589.46/591.71 c #Conflicts: 246000 | #Constraints: 45070
589.46/591.71 c #Conflicts: 247000 | #Constraints: 46070
589.46/591.71 c #Conflicts: 248000 | #Constraints: 47070
589.46/591.71 c #Conflicts: 249000 | #Constraints: 48070
589.46/591.71 c #Conflicts: 250000 | #Constraints: 49070
589.46/591.71 c #Conflicts: 251000 | #Constraints: 50070
589.46/591.71 c #Conflicts: 252000 | #Constraints: 51070
589.46/591.71 c #Conflicts: 253000 | #Constraints: 52070
589.46/591.71 c #Conflicts: 254000 | #Constraints: 53070
589.46/591.71 c #Conflicts: 255000 | #Constraints: 54070
589.46/591.71 c #Conflicts: 256000 | #Constraints: 55070
589.46/591.71 c #Conflicts: 257000 | #Constraints: 56070
589.46/591.71 c #Conflicts: 258000 | #Constraints: 57070
589.46/591.71 c #Conflicts: 259000 | #Constraints: 58070
589.46/591.71 c #Conflicts: 260000 | #Constraints: 59070
589.46/591.71 c #Conflicts: 261000 | #Constraints: 60070
589.46/591.71 c #Conflicts: 262000 | #Constraints: 61070
589.46/591.71 c #Conflicts: 263000 | #Constraints: 62070
589.46/591.71 c #Conflicts: 264000 | #Constraints: 63070
589.46/591.71 c #Conflicts: 265000 | #Constraints: 64070
589.46/591.71 c #Conflicts: 266000 | #Constraints: 65070
589.46/591.71 c #Conflicts: 267000 | #Constraints: 66070
589.46/591.71 c INPROCESSING
589.46/591.71 c GARBAGE COLLECT
589.46/591.71 c #Conflicts: 268000 | #Constraints: 42232
589.46/591.71 c #Conflicts: 269000 | #Constraints: 43232
589.46/591.71 c #Conflicts: 270000 | #Constraints: 44232
589.46/591.71 c #Conflicts: 271000 | #Constraints: 45232
589.46/591.71 c #Conflicts: 272000 | #Constraints: 46232
589.46/591.71 c #Conflicts: 273000 | #Constraints: 47232
589.46/591.71 c #Conflicts: 274000 | #Constraints: 48232
589.46/591.71 c #Conflicts: 275000 | #Constraints: 49232
589.46/591.71 c #Conflicts: 276000 | #Constraints: 50232
589.46/591.71 c #Conflicts: 277000 | #Constraints: 51232
589.46/591.71 c #Conflicts: 278000 | #Constraints: 52232
589.46/591.71 c #Conflicts: 279000 | #Constraints: 53232
589.46/591.71 c #Conflicts: 280000 | #Constraints: 54232
589.46/591.71 c INPROCESSING
589.46/591.71 c GARBAGE COLLECT
589.46/591.71 c #Conflicts: 281000 | #Constraints: 36080
589.46/591.71 c #Conflicts: 282000 | #Constraints: 37080
589.46/591.71 c #Conflicts: 283000 | #Constraints: 38080
589.46/591.71 c #Conflicts: 284000 | #Constraints: 39080
589.46/591.71 c #Conflicts: 285000 | #Constraints: 40080
589.46/591.71 c #Conflicts: 286000 | #Constraints: 41080
589.46/591.71 c #Conflicts: 287000 | #Constraints: 42080
589.46/591.71 c #Conflicts: 288000 | #Constraints: 43080
589.46/591.71 c #Conflicts: 289000 | #Constraints: 44080
589.46/591.71 c #Conflicts: 290000 | #Constraints: 45081
589.46/591.71 c #Conflicts: 291000 | #Constraints: 46081
589.46/591.71 c #Conflicts: 292000 | #Constraints: 47081
589.46/591.71 c #Conflicts: 293000 | #Constraints: 48081
589.46/591.71 c #Conflicts: 294000 | #Constraints: 49081
589.46/591.71 c INPROCESSING
589.46/591.71 c GARBAGE COLLECT
589.46/591.71 c #Conflicts: 295000 | #Constraints: 35309
589.46/591.71 c #Conflicts: 296000 | #Constraints: 36309
589.46/591.71 c #Conflicts: 297000 | #Constraints: 37309
589.46/591.71 c #Conflicts: 298000 | #Constraints: 38309
735.44/738.17 c #Conflicts: 299000 | #Constraints: 39309
735.44/738.17 c #Conflicts: 300000 | #Constraints: 40309
735.44/738.17 c #Conflicts: 301000 | #Constraints: 41309
735.44/738.17 c #Conflicts: 302000 | #Constraints: 42309
735.44/738.17 c #Conflicts: 303000 | #Constraints: 43309
735.44/738.17 c #Conflicts: 304000 | #Constraints: 44309
735.44/738.17 c #Conflicts: 305000 | #Constraints: 45309
735.44/738.17 c #Conflicts: 306000 | #Constraints: 46309
735.44/738.17 c #Conflicts: 307000 | #Constraints: 47309
735.44/738.17 c #Conflicts: 308000 | #Constraints: 48309
735.44/738.17 c #Conflicts: 309000 | #Constraints: 49309
735.44/738.17 c #Conflicts: 310000 | #Constraints: 50309
735.44/738.17 c #Conflicts: 311000 | #Constraints: 51309
735.44/738.17 c #Conflicts: 312000 | #Constraints: 52309
735.44/738.17 c #Conflicts: 313000 | #Constraints: 53309
735.44/738.17 c #Conflicts: 314000 | #Constraints: 54309
735.44/738.17 c #Conflicts: 315000 | #Constraints: 55309
735.44/738.17 c #Conflicts: 316000 | #Constraints: 56309
735.44/738.17 c #Conflicts: 317000 | #Constraints: 57309
735.44/738.17 c #Conflicts: 318000 | #Constraints: 58309
735.44/738.17 c #Conflicts: 319000 | #Constraints: 59309
735.44/738.17 c #Conflicts: 320000 | #Constraints: 60309
735.44/738.17 c #Conflicts: 321000 | #Constraints: 61309
735.44/738.17 c #Conflicts: 322000 | #Constraints: 62309
735.44/738.17 c #Conflicts: 323000 | #Constraints: 63309
735.44/738.17 c #Conflicts: 324000 | #Constraints: 64309
735.44/738.17 c #Conflicts: 325000 | #Constraints: 65309
735.44/738.17 c #Conflicts: 326000 | #Constraints: 66309
735.44/738.17 c #Conflicts: 327000 | #Constraints: 67309
735.44/738.17 c #Conflicts: 328000 | #Constraints: 68309
735.44/738.17 c #Conflicts: 329000 | #Constraints: 69309
735.44/738.17 c #Conflicts: 330000 | #Constraints: 70309
735.44/738.17 c #Conflicts: 331000 | #Constraints: 71309
735.44/738.17 c #Conflicts: 332000 | #Constraints: 72309
735.44/738.17 c #Conflicts: 333000 | #Constraints: 73309
735.44/738.17 c INPROCESSING
735.44/738.17 c GARBAGE COLLECT
735.44/738.17 c #Conflicts: 334000 | #Constraints: 45951
735.44/738.17 c #Conflicts: 335000 | #Constraints: 46951
735.44/738.17 c #Conflicts: 336000 | #Constraints: 47951
735.44/738.17 c #Conflicts: 337000 | #Constraints: 48951
735.44/738.17 c #Conflicts: 338000 | #Constraints: 49951
735.44/738.17 c #Conflicts: 339000 | #Constraints: 50951
735.44/738.17 c #Conflicts: 340000 | #Constraints: 51951
735.44/738.17 c #Conflicts: 341000 | #Constraints: 52951
735.44/738.17 c #Conflicts: 342000 | #Constraints: 53951
735.44/738.17 c #Conflicts: 343000 | #Constraints: 54951
735.44/738.17 c #Conflicts: 344000 | #Constraints: 55951
735.44/738.17 c #Conflicts: 345000 | #Constraints: 56951
735.44/738.17 c #Conflicts: 346000 | #Constraints: 57951
735.44/738.17 c #Conflicts: 347000 | #Constraints: 58951
735.44/738.17 c #Conflicts: 348000 | #Constraints: 59951
735.44/738.17 c INPROCESSING
735.44/738.17 c GARBAGE COLLECT
735.44/738.17 c #Conflicts: 349000 | #Constraints: 39424
735.44/738.17 c #Conflicts: 350000 | #Constraints: 40424
735.44/738.17 c #Conflicts: 351000 | #Constraints: 41424
735.44/738.17 c #Conflicts: 352000 | #Constraints: 42424
735.44/738.17 c #Conflicts: 353000 | #Constraints: 43424
735.44/738.17 c #Conflicts: 354000 | #Constraints: 44424
735.44/738.17 c #Conflicts: 355000 | #Constraints: 45424
735.44/738.17 c #Conflicts: 356000 | #Constraints: 46424
735.44/738.17 c #Conflicts: 357000 | #Constraints: 47424
735.44/738.17 c #Conflicts: 358000 | #Constraints: 48424
735.44/738.17 c #Conflicts: 359000 | #Constraints: 49424
735.44/738.17 c #Conflicts: 360000 | #Constraints: 50424
735.44/738.17 c #Conflicts: 361000 | #Constraints: 51424
735.44/738.17 c #Conflicts: 362000 | #Constraints: 52424
735.44/738.17 c #Conflicts: 363000 | #Constraints: 53424
735.44/738.17 c INPROCESSING
735.44/738.17 c GARBAGE COLLECT
735.44/738.17 c #Conflicts: 364000 | #Constraints: 38153
735.44/738.17 c #Conflicts: 365000 | #Constraints: 39153
735.44/738.17 c #Conflicts: 366000 | #Constraints: 40153
735.44/738.17 c #Conflicts: 367000 | #Constraints: 41153
735.44/738.17 c #Conflicts: 368000 | #Constraints: 42153
735.44/738.17 c #Conflicts: 369000 | #Constraints: 43153
735.44/738.17 c #Conflicts: 370000 | #Constraints: 44153
735.44/738.17 c #Conflicts: 371000 | #Constraints: 45153
735.44/738.17 c #Conflicts: 372000 | #Constraints: 46153
735.44/738.17 c #Conflicts: 373000 | #Constraints: 47153
735.44/738.17 c #Conflicts: 374000 | #Constraints: 48153
735.44/738.17 c #Conflicts: 375000 | #Constraints: 49153
896.04/899.22 c #Conflicts: 376000 | #Constraints: 50153
896.04/899.22 c #Conflicts: 377000 | #Constraints: 51153
896.04/899.22 c #Conflicts: 378000 | #Constraints: 52153
896.04/899.22 c #Conflicts: 379000 | #Constraints: 53153
896.04/899.22 c #Conflicts: 380000 | #Constraints: 54153
896.04/899.22 c #Conflicts: 381000 | #Constraints: 55153
896.04/899.22 c #Conflicts: 382000 | #Constraints: 56153
896.04/899.22 c #Conflicts: 383000 | #Constraints: 57153
896.04/899.22 c #Conflicts: 384000 | #Constraints: 58153
896.04/899.22 c #Conflicts: 385000 | #Constraints: 59153
896.04/899.22 c #Conflicts: 386000 | #Constraints: 60153
896.04/899.22 c #Conflicts: 387000 | #Constraints: 61153
896.04/899.22 c #Conflicts: 388000 | #Constraints: 62153
896.04/899.22 c #Conflicts: 389000 | #Constraints: 63153
896.04/899.22 c #Conflicts: 390000 | #Constraints: 64153
896.04/899.22 c #Conflicts: 391000 | #Constraints: 65153
896.04/899.22 c #Conflicts: 392000 | #Constraints: 66153
896.04/899.22 c #Conflicts: 393000 | #Constraints: 67153
896.04/899.22 c #Conflicts: 394000 | #Constraints: 68153
896.04/899.22 c #Conflicts: 395000 | #Constraints: 69153
896.04/899.22 c #Conflicts: 396000 | #Constraints: 70153
896.04/899.22 c #Conflicts: 397000 | #Constraints: 71153
896.04/899.22 c #Conflicts: 398000 | #Constraints: 72153
896.04/899.22 c #Conflicts: 399000 | #Constraints: 73153
896.04/899.22 c #Conflicts: 400000 | #Constraints: 74153
896.04/899.22 c #Conflicts: 401000 | #Constraints: 75153
896.04/899.22 c #Conflicts: 402000 | #Constraints: 76153
896.04/899.22 c #Conflicts: 403000 | #Constraints: 77153
896.04/899.22 c #Conflicts: 404000 | #Constraints: 78153
896.04/899.22 c #Conflicts: 405000 | #Constraints: 79153
896.04/899.22 c #Conflicts: 406000 | #Constraints: 80153
896.04/899.22 c INPROCESSING
896.04/899.22 c GARBAGE COLLECT
896.04/899.22 c #Conflicts: 407000 | #Constraints: 49491
896.04/899.22 c #Conflicts: 408000 | #Constraints: 50491
896.04/899.22 c #Conflicts: 409000 | #Constraints: 51491
896.04/899.22 c #Conflicts: 410000 | #Constraints: 52491
896.04/899.22 c #Conflicts: 411000 | #Constraints: 53491
896.04/899.22 c #Conflicts: 412000 | #Constraints: 54491
896.04/899.22 c #Conflicts: 413000 | #Constraints: 55491
896.04/899.22 c #Conflicts: 414000 | #Constraints: 56491
896.04/899.22 c #Conflicts: 415000 | #Constraints: 57491
896.04/899.22 c #Conflicts: 416000 | #Constraints: 58491
896.04/899.22 c #Conflicts: 417000 | #Constraints: 59491
896.04/899.22 c #Conflicts: 418000 | #Constraints: 60491
896.04/899.22 c #Conflicts: 419000 | #Constraints: 61491
896.04/899.22 c #Conflicts: 420000 | #Constraints: 62491
896.04/899.22 c #Conflicts: 421000 | #Constraints: 63491
896.04/899.22 c #Conflicts: 422000 | #Constraints: 64491
896.04/899.22 c INPROCESSING
896.04/899.22 c GARBAGE COLLECT
896.04/899.22 c #Conflicts: 423000 | #Constraints: 41618
896.04/899.22 c #Conflicts: 424000 | #Constraints: 42618
896.04/899.22 c #Conflicts: 425000 | #Constraints: 43618
896.04/899.22 c #Conflicts: 426000 | #Constraints: 44618
896.04/899.22 c #Conflicts: 427000 | #Constraints: 45618
896.04/899.22 c #Conflicts: 428000 | #Constraints: 46618
896.04/899.22 c #Conflicts: 429000 | #Constraints: 47618
896.04/899.22 c #Conflicts: 430000 | #Constraints: 48618
896.04/899.22 c #Conflicts: 431000 | #Constraints: 49618
896.04/899.22 c #Conflicts: 432000 | #Constraints: 50618
896.04/899.22 c #Conflicts: 433000 | #Constraints: 51618
896.04/899.22 c #Conflicts: 434000 | #Constraints: 52618
896.04/899.22 c #Conflicts: 435000 | #Constraints: 53618
896.04/899.22 c #Conflicts: 436000 | #Constraints: 54618
896.04/899.22 c #Conflicts: 437000 | #Constraints: 55618
896.04/899.22 c #Conflicts: 438000 | #Constraints: 56618
896.04/899.22 c INPROCESSING
896.04/899.22 c GARBAGE COLLECT
896.04/899.22 c #Conflicts: 439000 | #Constraints: 39774
896.04/899.22 c #Conflicts: 440000 | #Constraints: 40774
896.04/899.22 c #Conflicts: 441000 | #Constraints: 41774
896.04/899.22 c #Conflicts: 442000 | #Constraints: 42774
896.04/899.22 c #Conflicts: 443000 | #Constraints: 43774
896.04/899.22 c #Conflicts: 444000 | #Constraints: 44774
896.04/899.22 c #Conflicts: 445000 | #Constraints: 45774
896.04/899.22 c #Conflicts: 446000 | #Constraints: 46774
896.04/899.22 c #Conflicts: 447000 | #Constraints: 47774
896.04/899.22 c #Conflicts: 448000 | #Constraints: 48774
896.04/899.22 c #Conflicts: 449000 | #Constraints: 49774
896.04/899.22 c #Conflicts: 450000 | #Constraints: 50774
896.04/899.22 c #Conflicts: 451000 | #Constraints: 51774
896.04/899.22 c #Conflicts: 452000 | #Constraints: 52774
1126.76/1130.68 c #Conflicts: 453000 | #Constraints: 53774
1126.76/1130.68 c #Conflicts: 454000 | #Constraints: 54774
1126.76/1130.68 c #Conflicts: 455000 | #Constraints: 55774
1126.76/1130.68 c #Conflicts: 456000 | #Constraints: 56774
1126.76/1130.68 c #Conflicts: 457000 | #Constraints: 57774
1126.76/1130.68 c #Conflicts: 458000 | #Constraints: 58774
1126.76/1130.68 c #Conflicts: 459000 | #Constraints: 59774
1126.76/1130.68 c #Conflicts: 460000 | #Constraints: 60774
1126.76/1130.68 c #Conflicts: 461000 | #Constraints: 61774
1126.76/1130.68 c #Conflicts: 462000 | #Constraints: 62774
1126.76/1130.68 c #Conflicts: 463000 | #Constraints: 63774
1126.76/1130.68 c #Conflicts: 464000 | #Constraints: 64774
1126.76/1130.68 c #Conflicts: 465000 | #Constraints: 65774
1126.76/1130.68 c #Conflicts: 466000 | #Constraints: 66774
1126.76/1130.68 c #Conflicts: 467000 | #Constraints: 67774
1126.76/1130.68 c #Conflicts: 468000 | #Constraints: 68774
1126.76/1130.68 c #Conflicts: 469000 | #Constraints: 69774
1126.76/1130.68 c #Conflicts: 470000 | #Constraints: 70774
1126.76/1130.68 c #Conflicts: 471000 | #Constraints: 71774
1126.76/1130.68 c #Conflicts: 472000 | #Constraints: 72774
1126.76/1130.68 c #Conflicts: 473000 | #Constraints: 73774
1126.76/1130.68 c #Conflicts: 474000 | #Constraints: 74774
1126.76/1130.68 c #Conflicts: 475000 | #Constraints: 75774
1126.76/1130.68 c #Conflicts: 476000 | #Constraints: 76774
1126.76/1130.68 c #Conflicts: 477000 | #Constraints: 77774
1126.76/1130.68 c #Conflicts: 478000 | #Constraints: 78774
1126.76/1130.68 c #Conflicts: 479000 | #Constraints: 79774
1126.76/1130.68 c #Conflicts: 480000 | #Constraints: 80774
1126.76/1130.68 c #Conflicts: 481000 | #Constraints: 81774
1126.76/1130.68 c #Conflicts: 482000 | #Constraints: 82774
1126.76/1130.68 c #Conflicts: 483000 | #Constraints: 83774
1126.76/1130.68 c #Conflicts: 484000 | #Constraints: 84774
1126.76/1130.68 c #Conflicts: 485000 | #Constraints: 85774
1126.76/1130.68 c #Conflicts: 486000 | #Constraints: 86774
1126.76/1130.68 c INPROCESSING
1126.76/1130.68 c GARBAGE COLLECT
1126.76/1130.68 c #Conflicts: 487000 | #Constraints: 53074
1126.76/1130.68 c #Conflicts: 488000 | #Constraints: 54074
1126.76/1130.68 c #Conflicts: 489000 | #Constraints: 55074
1126.76/1130.68 c #Conflicts: 490000 | #Constraints: 56074
1126.76/1130.68 c #Conflicts: 491000 | #Constraints: 57074
1126.76/1130.68 c #Conflicts: 492000 | #Constraints: 58074
1126.76/1130.68 c #Conflicts: 493000 | #Constraints: 59074
1126.76/1130.68 c #Conflicts: 494000 | #Constraints: 60074
1126.76/1130.68 c #Conflicts: 495000 | #Constraints: 61074
1126.76/1130.68 c #Conflicts: 496000 | #Constraints: 62074
1126.76/1130.68 c #Conflicts: 497000 | #Constraints: 63074
1126.76/1130.68 c #Conflicts: 498000 | #Constraints: 64074
1126.76/1130.68 c #Conflicts: 499000 | #Constraints: 65074
1126.76/1130.68 c #Conflicts: 500000 | #Constraints: 66074
1126.76/1130.68 c #Conflicts: 501000 | #Constraints: 67074
1126.76/1130.68 c #Conflicts: 502000 | #Constraints: 68074
1126.76/1130.68 c #Conflicts: 503000 | #Constraints: 69074
1126.76/1130.68 c #Conflicts: 504000 | #Constraints: 70074
1126.76/1130.68 c INPROCESSING
1126.76/1130.68 c GARBAGE COLLECT
1126.76/1130.68 c #Conflicts: 505000 | #Constraints: 44650
1126.76/1130.68 c #Conflicts: 506000 | #Constraints: 45650
1126.76/1130.68 c #Conflicts: 507000 | #Constraints: 46650
1126.76/1130.68 c #Conflicts: 508000 | #Constraints: 47650
1126.76/1130.68 c #Conflicts: 509000 | #Constraints: 48650
1126.76/1130.68 c #Conflicts: 510000 | #Constraints: 49650
1126.76/1130.68 c #Conflicts: 511000 | #Constraints: 50650
1126.76/1130.68 c #Conflicts: 512000 | #Constraints: 51650
1126.76/1130.68 c #Conflicts: 513000 | #Constraints: 52650
1126.76/1130.68 c #Conflicts: 514000 | #Constraints: 53650
1126.76/1130.68 c #Conflicts: 515000 | #Constraints: 54650
1126.76/1130.68 c #Conflicts: 516000 | #Constraints: 55650
1126.76/1130.68 c #Conflicts: 517000 | #Constraints: 56650
1126.76/1130.68 c #Conflicts: 518000 | #Constraints: 57650
1126.76/1130.68 c #Conflicts: 519000 | #Constraints: 58650
1126.76/1130.68 c #Conflicts: 520000 | #Constraints: 59650
1126.76/1130.68 c #Conflicts: 521000 | #Constraints: 60650
1126.76/1130.68 c #Conflicts: 522000 | #Constraints: 61650
1126.76/1130.68 c INPROCESSING
1126.76/1130.68 c GARBAGE COLLECT
1126.76/1130.68 c #Conflicts: 523000 | #Constraints: 42719
1126.76/1130.68 c #Conflicts: 524000 | #Constraints: 43719
1126.76/1130.68 c #Conflicts: 525000 | #Constraints: 44719
1126.76/1130.68 c #Conflicts: 526000 | #Constraints: 45719
1126.76/1130.68 c #Conflicts: 527000 | #Constraints: 46719
1126.76/1130.68 c #Conflicts: 528000 | #Constraints: 47719
1126.76/1130.68 c #Conflicts: 529000 | #Constraints: 48719
1248.55/1252.85 c #Conflicts: 530000 | #Constraints: 49719
1248.55/1252.85 c #Conflicts: 531000 | #Constraints: 50719
1248.55/1252.85 c #Conflicts: 532000 | #Constraints: 51719
1248.55/1252.85 c #Conflicts: 533000 | #Constraints: 52719
1248.55/1252.85 c #Conflicts: 534000 | #Constraints: 53719
1248.55/1252.85 c #Conflicts: 535000 | #Constraints: 54719
1248.55/1252.85 c #Conflicts: 536000 | #Constraints: 55719
1248.55/1252.85 c #Conflicts: 537000 | #Constraints: 56719
1248.55/1252.85 c #Conflicts: 538000 | #Constraints: 57719
1248.55/1252.85 c #Conflicts: 539000 | #Constraints: 58719
1248.55/1252.85 c #Conflicts: 540000 | #Constraints: 59719
1248.55/1252.85 c #Conflicts: 541000 | #Constraints: 60719
1248.55/1252.85 c #Conflicts: 542000 | #Constraints: 61719
1248.55/1252.85 c #Conflicts: 543000 | #Constraints: 62719
1248.55/1252.85 c #Conflicts: 544000 | #Constraints: 63719
1248.55/1252.85 c #Conflicts: 545000 | #Constraints: 64719
1248.55/1252.85 c #Conflicts: 546000 | #Constraints: 65719
1248.55/1252.85 c #Conflicts: 547000 | #Constraints: 66719
1248.55/1252.85 c #Conflicts: 548000 | #Constraints: 67719
1248.55/1252.85 c #Conflicts: 549000 | #Constraints: 68719
1248.55/1252.85 c #Conflicts: 550000 | #Constraints: 69719
1248.55/1252.85 c #Conflicts: 551000 | #Constraints: 70719
1248.55/1252.85 c #Conflicts: 552000 | #Constraints: 71719
1248.55/1252.85 c #Conflicts: 553000 | #Constraints: 72719
1248.55/1252.85 c #Conflicts: 554000 | #Constraints: 73719
1248.55/1252.85 c #Conflicts: 555000 | #Constraints: 74719
1248.55/1252.85 c #Conflicts: 556000 | #Constraints: 75719
1248.55/1252.85 c #Conflicts: 557000 | #Constraints: 76719
1248.55/1252.85 c #Conflicts: 558000 | #Constraints: 77719
1248.55/1252.85 c #Conflicts: 559000 | #Constraints: 78719
1248.55/1252.85 c #Conflicts: 560000 | #Constraints: 79719
1248.55/1252.85 c #Conflicts: 561000 | #Constraints: 80719
1248.55/1252.85 c #Conflicts: 562000 | #Constraints: 81719
1248.55/1252.85 c #Conflicts: 563000 | #Constraints: 82719
1248.55/1252.85 c #Conflicts: 564000 | #Constraints: 83719
1248.55/1252.85 c #Conflicts: 565000 | #Constraints: 84719
1248.55/1252.85 c #Conflicts: 566000 | #Constraints: 85719
1248.55/1252.85 c #Conflicts: 567000 | #Constraints: 86719
1248.55/1252.85 c #Conflicts: 568000 | #Constraints: 87719
1248.55/1252.85 c #Conflicts: 569000 | #Constraints: 88719
1248.55/1252.85 c #Conflicts: 570000 | #Constraints: 89719
1248.55/1252.85 c #Conflicts: 571000 | #Constraints: 90719
1248.55/1252.85 c #Conflicts: 572000 | #Constraints: 91719
1248.55/1252.85 c #Conflicts: 573000 | #Constraints: 92719
1248.55/1252.85 c INPROCESSING
1248.55/1252.85 c GARBAGE COLLECT
1248.55/1252.85 c rational objective 133
1303.36/1307.86 c #Conflicts: 574000 | #Constraints: 55834
1303.36/1307.86 c #Conflicts: 575000 | #Constraints: 56834
1303.36/1307.86 c #Conflicts: 576000 | #Constraints: 57834
1303.36/1307.86 c #Conflicts: 577000 | #Constraints: 58834
1303.36/1307.86 c #Conflicts: 578000 | #Constraints: 59834
1303.36/1307.86 c #Conflicts: 579000 | #Constraints: 60834
1303.36/1307.86 c #Conflicts: 580000 | #Constraints: 61834
1303.36/1307.86 c #Conflicts: 581000 | #Constraints: 62834
1303.36/1307.86 c #Conflicts: 582000 | #Constraints: 63834
1303.36/1307.86 c #Conflicts: 583000 | #Constraints: 64834
1303.36/1307.86 c #Conflicts: 584000 | #Constraints: 65834
1303.36/1307.86 c #Conflicts: 585000 | #Constraints: 66834
1303.36/1307.86 c #Conflicts: 586000 | #Constraints: 67834
1303.36/1307.86 c #Conflicts: 587000 | #Constraints: 68834
1303.36/1307.86 c #Conflicts: 588000 | #Constraints: 69834
1303.36/1307.86 c #Conflicts: 589000 | #Constraints: 70834
1303.36/1307.86 c #Conflicts: 590000 | #Constraints: 71834
1303.36/1307.86 c #Conflicts: 591000 | #Constraints: 72834
1303.36/1307.86 c #Conflicts: 592000 | #Constraints: 73834
1303.36/1307.86 c INPROCESSING
1303.36/1307.86 c GARBAGE COLLECT
1303.36/1307.86 c rational objective 133
1500.38/1505.42 c #Conflicts: 593000 | #Constraints: 46404
1500.38/1505.42 c #Conflicts: 594000 | #Constraints: 47404
1500.38/1505.42 c #Conflicts: 595000 | #Constraints: 48404
1500.38/1505.42 c #Conflicts: 596000 | #Constraints: 49404
1500.38/1505.42 c #Conflicts: 597000 | #Constraints: 50404
1500.38/1505.42 c #Conflicts: 598000 | #Constraints: 51404
1500.38/1505.42 c #Conflicts: 599000 | #Constraints: 52404
1500.38/1505.42 c #Conflicts: 600000 | #Constraints: 53404
1500.38/1505.42 c #Conflicts: 601000 | #Constraints: 54404
1500.38/1505.42 c #Conflicts: 602000 | #Constraints: 55404
1500.38/1505.42 c #Conflicts: 603000 | #Constraints: 56404
1500.38/1505.42 c #Conflicts: 604000 | #Constraints: 57404
1500.38/1505.42 c #Conflicts: 605000 | #Constraints: 58404
1500.38/1505.42 c #Conflicts: 606000 | #Constraints: 59404
1500.38/1505.42 c #Conflicts: 607000 | #Constraints: 60404
1500.38/1505.42 c #Conflicts: 608000 | #Constraints: 61404
1500.38/1505.42 c #Conflicts: 609000 | #Constraints: 62404
1500.38/1505.42 c #Conflicts: 610000 | #Constraints: 63404
1500.38/1505.42 c #Conflicts: 611000 | #Constraints: 64404
1500.38/1505.42 c #Conflicts: 612000 | #Constraints: 65404
1500.38/1505.42 c INPROCESSING
1500.38/1505.42 c GARBAGE COLLECT
1500.38/1505.42 c #Conflicts: 613000 | #Constraints: 45064
1500.38/1505.42 c #Conflicts: 614000 | #Constraints: 46064
1500.38/1505.42 c #Conflicts: 615000 | #Constraints: 47064
1500.38/1505.42 c #Conflicts: 616000 | #Constraints: 48064
1500.38/1505.42 c #Conflicts: 617000 | #Constraints: 49064
1500.38/1505.42 c #Conflicts: 618000 | #Constraints: 50064
1500.38/1505.42 c #Conflicts: 619000 | #Constraints: 51064
1500.38/1505.42 c #Conflicts: 620000 | #Constraints: 52064
1500.38/1505.42 c #Conflicts: 621000 | #Constraints: 53064
1500.38/1505.42 c #Conflicts: 622000 | #Constraints: 54064
1500.38/1505.42 c #Conflicts: 623000 | #Constraints: 55064
1500.38/1505.42 c #Conflicts: 624000 | #Constraints: 56064
1500.38/1505.42 c #Conflicts: 625000 | #Constraints: 57064
1500.38/1505.42 c #Conflicts: 626000 | #Constraints: 58064
1500.38/1505.42 c #Conflicts: 627000 | #Constraints: 59064
1500.38/1505.42 c #Conflicts: 628000 | #Constraints: 60064
1500.38/1505.42 c #Conflicts: 629000 | #Constraints: 61064
1500.38/1505.42 c #Conflicts: 630000 | #Constraints: 62064
1500.38/1505.42 c #Conflicts: 631000 | #Constraints: 63064
1500.38/1505.42 c #Conflicts: 632000 | #Constraints: 64064
1500.38/1505.42 c #Conflicts: 633000 | #Constraints: 65064
1500.38/1505.42 c #Conflicts: 634000 | #Constraints: 66064
1500.38/1505.42 c #Conflicts: 635000 | #Constraints: 67064
1500.38/1505.42 c #Conflicts: 636000 | #Constraints: 68064
1500.38/1505.42 c #Conflicts: 637000 | #Constraints: 69064
1500.38/1505.42 c #Conflicts: 638000 | #Constraints: 70064
1500.38/1505.42 c #Conflicts: 639000 | #Constraints: 71064
1500.38/1505.42 c #Conflicts: 640000 | #Constraints: 72064
1500.38/1505.42 c #Conflicts: 641000 | #Constraints: 73064
1500.38/1505.42 c #Conflicts: 642000 | #Constraints: 74064
1500.38/1505.42 c #Conflicts: 643000 | #Constraints: 75064
1500.38/1505.42 c #Conflicts: 644000 | #Constraints: 76064
1500.38/1505.42 c #Conflicts: 645000 | #Constraints: 77064
1500.38/1505.42 c #Conflicts: 646000 | #Constraints: 78064
1500.38/1505.42 c #Conflicts: 647000 | #Constraints: 79064
1500.38/1505.42 c #Conflicts: 648000 | #Constraints: 80064
1500.38/1505.42 c #Conflicts: 649000 | #Constraints: 81064
1500.38/1505.42 c #Conflicts: 650000 | #Constraints: 82064
1500.38/1505.42 c #Conflicts: 651000 | #Constraints: 83064
1500.38/1505.42 c #Conflicts: 652000 | #Constraints: 84064
1500.38/1505.42 c #Conflicts: 653000 | #Constraints: 85064
1500.38/1505.42 c #Conflicts: 654000 | #Constraints: 86064
1500.38/1505.42 c #Conflicts: 655000 | #Constraints: 87064
1500.38/1505.42 c #Conflicts: 656000 | #Constraints: 88064
1500.38/1505.42 c #Conflicts: 657000 | #Constraints: 89064
1500.38/1505.42 c #Conflicts: 658000 | #Constraints: 90064
1500.38/1505.42 c #Conflicts: 659000 | #Constraints: 91064
1500.38/1505.42 c #Conflicts: 660000 | #Constraints: 92064
1500.38/1505.42 c #Conflicts: 661000 | #Constraints: 93064
1500.38/1505.42 c #Conflicts: 662000 | #Constraints: 94064
1500.38/1505.42 c #Conflicts: 663000 | #Constraints: 95064
1500.38/1505.42 c #Conflicts: 664000 | #Constraints: 96064
1500.38/1505.42 c #Conflicts: 665000 | #Constraints: 97064
1500.38/1505.42 c #Conflicts: 666000 | #Constraints: 98064
1500.38/1505.42 c #Conflicts: 667000 | #Constraints: 99064
1500.38/1505.42 c #Conflicts: 668000 | #Constraints: 100064
1500.38/1505.42 c INPROCESSING
1500.38/1505.42 c GARBAGE COLLECT
1500.38/1505.42 c rational objective 133
1557.22/1562.41 c #Conflicts: 669000 | #Constraints: 59766
1557.22/1562.41 c #Conflicts: 670000 | #Constraints: 60766
1557.22/1562.41 c #Conflicts: 671000 | #Constraints: 61766
1557.22/1562.41 c #Conflicts: 672000 | #Constraints: 62766
1557.22/1562.41 c #Conflicts: 673000 | #Constraints: 63766
1557.22/1562.41 c #Conflicts: 674000 | #Constraints: 64766
1557.22/1562.41 c #Conflicts: 675000 | #Constraints: 65766
1557.22/1562.41 c #Conflicts: 676000 | #Constraints: 66766
1557.22/1562.41 c #Conflicts: 677000 | #Constraints: 67766
1557.22/1562.41 c #Conflicts: 678000 | #Constraints: 68766
1557.22/1562.41 c #Conflicts: 679000 | #Constraints: 69766
1557.22/1562.41 c #Conflicts: 680000 | #Constraints: 70766
1557.22/1562.41 c #Conflicts: 681000 | #Constraints: 71766
1557.22/1562.41 c #Conflicts: 682000 | #Constraints: 72766
1557.22/1562.41 c #Conflicts: 683000 | #Constraints: 73766
1557.22/1562.41 c #Conflicts: 684000 | #Constraints: 74766
1557.22/1562.41 c #Conflicts: 685000 | #Constraints: 75766
1557.22/1562.41 c #Conflicts: 686000 | #Constraints: 76766
1557.22/1562.41 c #Conflicts: 687000 | #Constraints: 77766
1557.22/1562.41 c #Conflicts: 688000 | #Constraints: 78766
1557.22/1562.41 c INPROCESSING
1557.22/1562.41 c GARBAGE COLLECT
1557.22/1562.41 c rational objective 133
1767.26/1773.05 c #Conflicts: 689000 | #Constraints: 48816
1767.26/1773.05 c #Conflicts: 690000 | #Constraints: 49816
1767.26/1773.05 c #Conflicts: 691000 | #Constraints: 50816
1767.26/1773.05 c #Conflicts: 692000 | #Constraints: 51816
1767.26/1773.05 c #Conflicts: 693000 | #Constraints: 52816
1767.26/1773.05 c #Conflicts: 694000 | #Constraints: 53816
1767.26/1773.05 c #Conflicts: 695000 | #Constraints: 54816
1767.26/1773.05 c #Conflicts: 696000 | #Constraints: 55816
1767.26/1773.05 c #Conflicts: 697000 | #Constraints: 56816
1767.26/1773.05 c #Conflicts: 698000 | #Constraints: 57816
1767.26/1773.05 c #Conflicts: 699000 | #Constraints: 58816
1767.26/1773.05 c #Conflicts: 700000 | #Constraints: 59816
1767.26/1773.05 c #Conflicts: 701000 | #Constraints: 60816
1767.26/1773.05 c #Conflicts: 702000 | #Constraints: 61816
1767.26/1773.05 c #Conflicts: 703000 | #Constraints: 62816
1767.26/1773.05 c #Conflicts: 704000 | #Constraints: 63816
1767.26/1773.05 c #Conflicts: 705000 | #Constraints: 64816
1767.26/1773.05 c #Conflicts: 706000 | #Constraints: 65816
1767.26/1773.05 c #Conflicts: 707000 | #Constraints: 66816
1767.26/1773.05 c #Conflicts: 708000 | #Constraints: 67816
1767.26/1773.05 c #Conflicts: 709000 | #Constraints: 68816
1767.26/1773.05 c INPROCESSING
1767.26/1773.05 c GARBAGE COLLECT
1767.26/1773.05 c #Conflicts: 710000 | #Constraints: 47326
1767.26/1773.05 c #Conflicts: 711000 | #Constraints: 48326
1767.26/1773.05 c #Conflicts: 712000 | #Constraints: 49326
1767.26/1773.05 c #Conflicts: 713000 | #Constraints: 50326
1767.26/1773.05 c #Conflicts: 714000 | #Constraints: 51326
1767.26/1773.05 c #Conflicts: 715000 | #Constraints: 52326
1767.26/1773.05 c #Conflicts: 716000 | #Constraints: 53326
1767.26/1773.05 c #Conflicts: 717000 | #Constraints: 54326
1767.26/1773.05 c #Conflicts: 718000 | #Constraints: 55326
1767.26/1773.05 c #Conflicts: 719000 | #Constraints: 56326
1767.26/1773.05 c #Conflicts: 720000 | #Constraints: 57326
1767.26/1773.05 c #Conflicts: 721000 | #Constraints: 58326
1767.26/1773.05 c #Conflicts: 722000 | #Constraints: 59326
1767.26/1773.05 c #Conflicts: 723000 | #Constraints: 60326
1767.26/1773.05 c #Conflicts: 724000 | #Constraints: 61326
1767.26/1773.05 c #Conflicts: 725000 | #Constraints: 62326
1767.26/1773.05 c #Conflicts: 726000 | #Constraints: 63326
1767.26/1773.05 c #Conflicts: 727000 | #Constraints: 64326
1767.26/1773.05 c #Conflicts: 728000 | #Constraints: 65326
1767.26/1773.05 c #Conflicts: 729000 | #Constraints: 66326
1767.26/1773.05 c #Conflicts: 730000 | #Constraints: 67326
1767.26/1773.05 c #Conflicts: 731000 | #Constraints: 68326
1767.26/1773.05 c #Conflicts: 732000 | #Constraints: 69326
1767.26/1773.05 c #Conflicts: 733000 | #Constraints: 70326
1767.26/1773.05 c #Conflicts: 734000 | #Constraints: 71326
1767.26/1773.05 c #Conflicts: 735000 | #Constraints: 72326
1767.26/1773.05 c #Conflicts: 736000 | #Constraints: 73326
1767.26/1773.05 c #Conflicts: 737000 | #Constraints: 74326
1767.26/1773.05 c #Conflicts: 738000 | #Constraints: 75326
1767.26/1773.05 c #Conflicts: 739000 | #Constraints: 76326
1767.26/1773.05 c #Conflicts: 740000 | #Constraints: 77326
1767.26/1773.05 c #Conflicts: 741000 | #Constraints: 78326
1767.26/1773.05 c #Conflicts: 742000 | #Constraints: 79326
1767.26/1773.05 c #Conflicts: 743000 | #Constraints: 80326
1767.26/1773.05 c #Conflicts: 744000 | #Constraints: 81326
1767.26/1773.05 c #Conflicts: 745000 | #Constraints: 82326
1767.26/1773.05 c #Conflicts: 746000 | #Constraints: 83326
1767.26/1773.05 c #Conflicts: 747000 | #Constraints: 84326
1767.26/1773.05 c #Conflicts: 748000 | #Constraints: 85326
1767.26/1773.05 c #Conflicts: 749000 | #Constraints: 86326
1767.26/1773.05 c #Conflicts: 750000 | #Constraints: 87326
1767.26/1773.05 c #Conflicts: 751000 | #Constraints: 88326
1767.26/1773.05 c #Conflicts: 752000 | #Constraints: 89326
1767.26/1773.05 c #Conflicts: 753000 | #Constraints: 90326
1767.26/1773.05 c #Conflicts: 754000 | #Constraints: 91326
1767.26/1773.05 c #Conflicts: 755000 | #Constraints: 92326
1767.26/1773.05 c #Conflicts: 756000 | #Constraints: 93326
1767.26/1773.05 c #Conflicts: 757000 | #Constraints: 94326
1767.26/1773.05 c #Conflicts: 758000 | #Constraints: 95326
1767.26/1773.05 c #Conflicts: 759000 | #Constraints: 96326
1767.26/1773.05 c #Conflicts: 760000 | #Constraints: 97326
1767.26/1773.05 c #Conflicts: 761000 | #Constraints: 98326
1767.26/1773.05 c #Conflicts: 762000 | #Constraints: 99326
1767.26/1773.05 c #Conflicts: 763000 | #Constraints: 100326
1767.26/1773.05 c #Conflicts: 764000 | #Constraints: 101326
1767.26/1773.05 c #Conflicts: 765000 | #Constraints: 102326
1767.26/1773.05 c #Conflicts: 766000 | #Constraints: 103326
1767.26/1773.05 c #Conflicts: 767000 | #Constraints: 104326
1793.19/1799.05 c #Conflicts: 768000 | #Constraints: 105326
1793.19/1799.05 c #Conflicts: 769000 | #Constraints: 106326
1793.19/1799.05 c INPROCESSING
1793.19/1799.05 c GARBAGE COLLECT
1793.19/1799.05 c rational objective 133
1988.24/1994.62 c #Conflicts: 770000 | #Constraints: 62598
1988.24/1994.62 c #Conflicts: 771000 | #Constraints: 63598
1988.24/1994.62 c #Conflicts: 772000 | #Constraints: 64598
1988.24/1994.62 c #Conflicts: 773000 | #Constraints: 65598
1988.24/1994.62 c #Conflicts: 774000 | #Constraints: 66598
1988.24/1994.62 c #Conflicts: 775000 | #Constraints: 67598
1988.24/1994.62 c #Conflicts: 776000 | #Constraints: 68598
1988.24/1994.62 c #Conflicts: 777000 | #Constraints: 69598
1988.24/1994.62 c #Conflicts: 778000 | #Constraints: 70598
1988.24/1994.62 c #Conflicts: 779000 | #Constraints: 71598
1988.24/1994.62 c #Conflicts: 780000 | #Constraints: 72598
1988.24/1994.62 c #Conflicts: 781000 | #Constraints: 73598
1988.24/1994.62 c #Conflicts: 782000 | #Constraints: 74598
1988.24/1994.62 c #Conflicts: 783000 | #Constraints: 75598
1988.24/1994.62 c #Conflicts: 784000 | #Constraints: 76598
1988.24/1994.62 c #Conflicts: 785000 | #Constraints: 77598
1988.24/1994.62 c #Conflicts: 786000 | #Constraints: 78598
1988.24/1994.62 c #Conflicts: 787000 | #Constraints: 79598
1988.24/1994.62 c #Conflicts: 788000 | #Constraints: 80598
1988.24/1994.62 c #Conflicts: 789000 | #Constraints: 81598
1988.24/1994.62 c #Conflicts: 790000 | #Constraints: 82598
1988.24/1994.62 c #Conflicts: 791000 | #Constraints: 83598
1988.24/1994.62 c #Conflicts: 792000 | #Constraints: 84598
1988.24/1994.62 c INPROCESSING
1988.24/1994.62 c GARBAGE COLLECT
1988.24/1994.62 c #Conflicts: 793000 | #Constraints: 52021
1988.24/1994.62 c #Conflicts: 794000 | #Constraints: 53021
1988.24/1994.62 c #Conflicts: 795000 | #Constraints: 54021
1988.24/1994.62 c #Conflicts: 796000 | #Constraints: 55021
1988.24/1994.62 c #Conflicts: 797000 | #Constraints: 56021
1988.24/1994.62 c #Conflicts: 798000 | #Constraints: 57021
1988.24/1994.62 c #Conflicts: 799000 | #Constraints: 58021
1988.24/1994.62 c #Conflicts: 800000 | #Constraints: 59021
1988.24/1994.62 c #Conflicts: 801000 | #Constraints: 60021
1988.24/1994.62 c #Conflicts: 802000 | #Constraints: 61021
1988.24/1994.62 c #Conflicts: 803000 | #Constraints: 62021
1988.24/1994.62 c #Conflicts: 804000 | #Constraints: 63021
1988.24/1994.62 c #Conflicts: 805000 | #Constraints: 64021
1988.24/1994.62 c #Conflicts: 806000 | #Constraints: 65021
1988.24/1994.62 c #Conflicts: 807000 | #Constraints: 66021
1988.24/1994.62 c #Conflicts: 808000 | #Constraints: 67021
1988.24/1994.62 c #Conflicts: 809000 | #Constraints: 68021
1988.24/1994.62 c #Conflicts: 810000 | #Constraints: 69021
1988.24/1994.62 c #Conflicts: 811000 | #Constraints: 70021
1988.24/1994.62 c #Conflicts: 812000 | #Constraints: 71022
1988.24/1994.62 c #Conflicts: 813000 | #Constraints: 72022
1988.24/1994.62 c #Conflicts: 814000 | #Constraints: 73022
1988.24/1994.62 c INPROCESSING
1988.24/1994.62 c GARBAGE COLLECT
1988.24/1994.62 c #Conflicts: 815000 | #Constraints: 50092
1988.24/1994.62 c #Conflicts: 816000 | #Constraints: 51092
1988.24/1994.62 c #Conflicts: 817000 | #Constraints: 52092
1988.24/1994.62 c #Conflicts: 818000 | #Constraints: 53092
1988.24/1994.62 c #Conflicts: 819000 | #Constraints: 54092
1988.24/1994.62 c #Conflicts: 820000 | #Constraints: 55092
1988.24/1994.62 c #Conflicts: 821000 | #Constraints: 56092
1988.24/1994.62 c #Conflicts: 822000 | #Constraints: 57092
1988.24/1994.62 c #Conflicts: 823000 | #Constraints: 58092
1988.24/1994.62 c #Conflicts: 824000 | #Constraints: 59092
1988.24/1994.62 c #Conflicts: 825000 | #Constraints: 60092
1988.24/1994.62 c #Conflicts: 826000 | #Constraints: 61092
1988.24/1994.62 c #Conflicts: 827000 | #Constraints: 62092
1988.24/1994.62 c #Conflicts: 828000 | #Constraints: 63092
1988.24/1994.62 c #Conflicts: 829000 | #Constraints: 64092
1988.24/1994.62 c #Conflicts: 830000 | #Constraints: 65092
1988.24/1994.62 c #Conflicts: 831000 | #Constraints: 66092
1988.24/1994.62 c #Conflicts: 832000 | #Constraints: 67092
1988.24/1994.62 c #Conflicts: 833000 | #Constraints: 68092
1988.24/1994.62 c #Conflicts: 834000 | #Constraints: 69092
1988.24/1994.62 c #Conflicts: 835000 | #Constraints: 70092
1988.24/1994.62 c #Conflicts: 836000 | #Constraints: 71092
1988.24/1994.62 c #Conflicts: 837000 | #Constraints: 72092
1988.24/1994.62 c #Conflicts: 838000 | #Constraints: 73092
1988.24/1994.62 c #Conflicts: 839000 | #Constraints: 74092
1988.24/1994.62 c #Conflicts: 840000 | #Constraints: 75092
1988.24/1994.62 c #Conflicts: 841000 | #Constraints: 76092
1988.24/1994.62 c #Conflicts: 842000 | #Constraints: 77092
1988.24/1994.62 c #Conflicts: 843000 | #Constraints: 78092
1988.24/1994.62 c #Conflicts: 844000 | #Constraints: 79092
1988.24/1994.62 c #Conflicts: 845000 | #Constraints: 80092
1988.24/1994.62 c #Conflicts: 846000 | #Constraints: 81092
1988.24/1994.62 c #Conflicts: 847000 | #Constraints: 82092
2192.12/2199.13 c #Conflicts: 848000 | #Constraints: 83092
2192.12/2199.13 c #Conflicts: 849000 | #Constraints: 84092
2192.12/2199.13 c #Conflicts: 850000 | #Constraints: 85092
2192.12/2199.13 c #Conflicts: 851000 | #Constraints: 86092
2192.12/2199.13 c #Conflicts: 852000 | #Constraints: 87092
2192.12/2199.13 c #Conflicts: 853000 | #Constraints: 88092
2192.12/2199.13 c #Conflicts: 854000 | #Constraints: 89092
2192.12/2199.13 c #Conflicts: 855000 | #Constraints: 90092
2192.12/2199.13 c #Conflicts: 856000 | #Constraints: 91092
2192.12/2199.13 c #Conflicts: 857000 | #Constraints: 92092
2192.12/2199.13 c #Conflicts: 858000 | #Constraints: 93092
2192.12/2199.13 c #Conflicts: 859000 | #Constraints: 94092
2192.12/2199.13 c #Conflicts: 860000 | #Constraints: 95092
2192.12/2199.13 c #Conflicts: 861000 | #Constraints: 96092
2192.12/2199.13 c #Conflicts: 862000 | #Constraints: 97092
2192.12/2199.13 c #Conflicts: 863000 | #Constraints: 98092
2192.12/2199.13 c #Conflicts: 864000 | #Constraints: 99092
2192.12/2199.13 c #Conflicts: 865000 | #Constraints: 100092
2192.12/2199.13 c #Conflicts: 866000 | #Constraints: 101092
2192.12/2199.13 c #Conflicts: 867000 | #Constraints: 102092
2192.12/2199.13 c #Conflicts: 868000 | #Constraints: 103092
2192.12/2199.13 c #Conflicts: 869000 | #Constraints: 104092
2192.12/2199.13 c #Conflicts: 870000 | #Constraints: 105092
2192.12/2199.13 c #Conflicts: 871000 | #Constraints: 106092
2192.12/2199.13 c #Conflicts: 872000 | #Constraints: 107092
2192.12/2199.13 c #Conflicts: 873000 | #Constraints: 108092
2192.12/2199.13 c #Conflicts: 874000 | #Constraints: 109092
2192.12/2199.13 c #Conflicts: 875000 | #Constraints: 110092
2192.12/2199.13 c #Conflicts: 876000 | #Constraints: 111092
2192.12/2199.13 c #Conflicts: 877000 | #Constraints: 112092
2192.12/2199.13 c #Conflicts: 878000 | #Constraints: 113092
2192.12/2199.13 c INPROCESSING
2192.12/2199.13 c GARBAGE COLLECT
2192.12/2199.13 c #Conflicts: 879000 | #Constraints: 66042
2192.12/2199.13 c #Conflicts: 880000 | #Constraints: 67042
2192.12/2199.13 c #Conflicts: 881000 | #Constraints: 68042
2192.12/2199.13 c #Conflicts: 882000 | #Constraints: 69042
2192.12/2199.13 c #Conflicts: 883000 | #Constraints: 70042
2192.12/2199.13 c #Conflicts: 884000 | #Constraints: 71042
2192.12/2199.13 c #Conflicts: 885000 | #Constraints: 72042
2192.12/2199.13 c #Conflicts: 886000 | #Constraints: 73042
2192.12/2199.13 c #Conflicts: 887000 | #Constraints: 74042
2192.12/2199.13 c #Conflicts: 888000 | #Constraints: 75042
2192.12/2199.13 c #Conflicts: 889000 | #Constraints: 76042
2192.12/2199.13 c #Conflicts: 890000 | #Constraints: 77042
2192.12/2199.13 c #Conflicts: 891000 | #Constraints: 78042
2192.12/2199.13 c #Conflicts: 892000 | #Constraints: 79042
2192.12/2199.13 c #Conflicts: 893000 | #Constraints: 80042
2192.12/2199.13 c #Conflicts: 894000 | #Constraints: 81042
2192.12/2199.13 c #Conflicts: 895000 | #Constraints: 82042
2192.12/2199.13 c #Conflicts: 896000 | #Constraints: 83042
2192.12/2199.13 c #Conflicts: 897000 | #Constraints: 84042
2192.12/2199.13 c #Conflicts: 898000 | #Constraints: 85042
2192.12/2199.13 c #Conflicts: 899000 | #Constraints: 86042
2192.12/2199.13 c #Conflicts: 900000 | #Constraints: 87042
2192.12/2199.13 c #Conflicts: 901000 | #Constraints: 88042
2192.12/2199.13 c #Conflicts: 902000 | #Constraints: 89042
2192.12/2199.13 c INPROCESSING
2192.12/2199.13 c GARBAGE COLLECT
2192.12/2199.13 c #Conflicts: 903000 | #Constraints: 54135
2192.12/2199.13 c #Conflicts: 904000 | #Constraints: 55135
2192.12/2199.13 c #Conflicts: 905000 | #Constraints: 56135
2192.12/2199.13 c #Conflicts: 906000 | #Constraints: 57135
2192.12/2199.13 c #Conflicts: 907000 | #Constraints: 58135
2192.12/2199.13 c #Conflicts: 908000 | #Constraints: 59135
2192.12/2199.13 c #Conflicts: 909000 | #Constraints: 60135
2192.12/2199.13 c #Conflicts: 910000 | #Constraints: 61135
2192.12/2199.13 c #Conflicts: 911000 | #Constraints: 62135
2192.12/2199.13 c #Conflicts: 912000 | #Constraints: 63135
2192.12/2199.13 c #Conflicts: 913000 | #Constraints: 64135
2192.12/2199.13 c #Conflicts: 914000 | #Constraints: 65135
2192.12/2199.13 c #Conflicts: 915000 | #Constraints: 66135
2192.12/2199.13 c #Conflicts: 916000 | #Constraints: 67135
2192.12/2199.13 c #Conflicts: 917000 | #Constraints: 68135
2192.12/2199.13 c #Conflicts: 918000 | #Constraints: 69135
2192.12/2199.13 c #Conflicts: 919000 | #Constraints: 70135
2192.12/2199.13 c #Conflicts: 920000 | #Constraints: 71135
2192.12/2199.13 c #Conflicts: 921000 | #Constraints: 72135
2192.12/2199.13 c #Conflicts: 922000 | #Constraints: 73135
2192.12/2199.13 c #Conflicts: 923000 | #Constraints: 74135
2192.12/2199.13 c #Conflicts: 924000 | #Constraints: 75135
2440.66/2448.58 c #Conflicts: 925000 | #Constraints: 76135
2440.66/2448.58 c #Conflicts: 926000 | #Constraints: 77135
2440.66/2448.58 c INPROCESSING
2440.66/2448.58 c GARBAGE COLLECT
2440.66/2448.58 c #Conflicts: 927000 | #Constraints: 52820
2440.66/2448.58 c #Conflicts: 928000 | #Constraints: 53820
2440.66/2448.58 c #Conflicts: 929000 | #Constraints: 54820
2440.66/2448.58 c #Conflicts: 930000 | #Constraints: 55820
2440.66/2448.58 c #Conflicts: 931000 | #Constraints: 56820
2440.66/2448.58 c #Conflicts: 932000 | #Constraints: 57820
2440.66/2448.58 c #Conflicts: 933000 | #Constraints: 58820
2440.66/2448.58 c #Conflicts: 934000 | #Constraints: 59820
2440.66/2448.58 c #Conflicts: 935000 | #Constraints: 60820
2440.66/2448.58 c #Conflicts: 936000 | #Constraints: 61820
2440.66/2448.58 c #Conflicts: 937000 | #Constraints: 62820
2440.66/2448.58 c #Conflicts: 938000 | #Constraints: 63820
2440.66/2448.58 c #Conflicts: 939000 | #Constraints: 64820
2440.66/2448.58 c #Conflicts: 940000 | #Constraints: 65820
2440.66/2448.58 c #Conflicts: 941000 | #Constraints: 66820
2440.66/2448.58 c #Conflicts: 942000 | #Constraints: 67820
2440.66/2448.58 c #Conflicts: 943000 | #Constraints: 68820
2440.66/2448.58 c #Conflicts: 944000 | #Constraints: 69820
2440.66/2448.58 c #Conflicts: 945000 | #Constraints: 70820
2440.66/2448.58 c #Conflicts: 946000 | #Constraints: 71820
2440.66/2448.58 c #Conflicts: 947000 | #Constraints: 72820
2440.66/2448.58 c #Conflicts: 948000 | #Constraints: 73820
2440.66/2448.58 c #Conflicts: 949000 | #Constraints: 74820
2440.66/2448.58 c #Conflicts: 950000 | #Constraints: 75820
2440.66/2448.58 c #Conflicts: 951000 | #Constraints: 76820
2440.66/2448.58 c #Conflicts: 952000 | #Constraints: 77820
2440.66/2448.58 c #Conflicts: 953000 | #Constraints: 78820
2440.66/2448.58 c #Conflicts: 954000 | #Constraints: 79820
2440.66/2448.58 c #Conflicts: 955000 | #Constraints: 80820
2440.66/2448.58 c #Conflicts: 956000 | #Constraints: 81820
2440.66/2448.58 c #Conflicts: 957000 | #Constraints: 82820
2440.66/2448.58 c #Conflicts: 958000 | #Constraints: 83820
2440.66/2448.58 c #Conflicts: 959000 | #Constraints: 84820
2440.66/2448.58 c #Conflicts: 960000 | #Constraints: 85820
2440.66/2448.58 c #Conflicts: 961000 | #Constraints: 86820
2440.66/2448.58 c #Conflicts: 962000 | #Constraints: 87820
2440.66/2448.58 c #Conflicts: 963000 | #Constraints: 88820
2440.66/2448.58 c #Conflicts: 964000 | #Constraints: 89820
2440.66/2448.58 c #Conflicts: 965000 | #Constraints: 90820
2440.66/2448.58 c #Conflicts: 966000 | #Constraints: 91820
2440.66/2448.58 c #Conflicts: 967000 | #Constraints: 92820
2440.66/2448.58 c #Conflicts: 968000 | #Constraints: 93820
2440.66/2448.58 c #Conflicts: 969000 | #Constraints: 94820
2440.66/2448.58 c #Conflicts: 970000 | #Constraints: 95820
2440.66/2448.58 c #Conflicts: 971000 | #Constraints: 96820
2440.66/2448.58 c #Conflicts: 972000 | #Constraints: 97820
2440.66/2448.58 c #Conflicts: 973000 | #Constraints: 98820
2440.66/2448.58 c #Conflicts: 974000 | #Constraints: 99820
2440.66/2448.58 c #Conflicts: 975000 | #Constraints: 100820
2440.66/2448.58 c #Conflicts: 976000 | #Constraints: 101820
2440.66/2448.58 c #Conflicts: 977000 | #Constraints: 102820
2440.66/2448.58 c #Conflicts: 978000 | #Constraints: 103820
2440.66/2448.58 c #Conflicts: 979000 | #Constraints: 104820
2440.66/2448.58 c #Conflicts: 980000 | #Constraints: 105820
2440.66/2448.58 c #Conflicts: 981000 | #Constraints: 106820
2440.66/2448.58 c #Conflicts: 982000 | #Constraints: 107820
2440.66/2448.58 c #Conflicts: 983000 | #Constraints: 108820
2440.66/2448.58 c #Conflicts: 984000 | #Constraints: 109820
2440.66/2448.58 c #Conflicts: 985000 | #Constraints: 110820
2440.66/2448.58 c #Conflicts: 986000 | #Constraints: 111820
2440.66/2448.58 c #Conflicts: 987000 | #Constraints: 112820
2440.66/2448.58 c #Conflicts: 988000 | #Constraints: 113820
2440.66/2448.58 c #Conflicts: 989000 | #Constraints: 114820
2440.66/2448.58 c #Conflicts: 990000 | #Constraints: 115820
2440.66/2448.58 c #Conflicts: 991000 | #Constraints: 116820
2440.66/2448.58 c #Conflicts: 992000 | #Constraints: 117820
2440.66/2448.58 c #Conflicts: 993000 | #Constraints: 118820
2440.66/2448.58 c #Conflicts: 994000 | #Constraints: 119820
2440.66/2448.58 c INPROCESSING
2440.66/2448.58 c GARBAGE COLLECT
2440.66/2448.58 c rational objective 133
2664.22/2672.85 c #Conflicts: 995000 | #Constraints: 69426
2664.22/2672.85 c #Conflicts: 996000 | #Constraints: 70426
2664.22/2672.85 c #Conflicts: 997000 | #Constraints: 71426
2664.22/2672.85 c #Conflicts: 998000 | #Constraints: 72426
2664.22/2672.85 c #Conflicts: 999000 | #Constraints: 73426
2664.22/2672.85 c #Conflicts: 1000000 | #Constraints: 74426
2664.22/2672.85 c #Conflicts: 1001000 | #Constraints: 75426
2664.22/2672.85 c #Conflicts: 1002000 | #Constraints: 76426
2664.22/2672.85 c #Conflicts: 1003000 | #Constraints: 77426
2664.22/2672.85 c #Conflicts: 1004000 | #Constraints: 78426
2664.22/2672.85 c #Conflicts: 1005000 | #Constraints: 79426
2664.22/2672.85 c #Conflicts: 1006000 | #Constraints: 80426
2664.22/2672.85 c #Conflicts: 1007000 | #Constraints: 81426
2664.22/2672.85 c #Conflicts: 1008000 | #Constraints: 82426
2664.22/2672.85 c #Conflicts: 1009000 | #Constraints: 83426
2664.22/2672.85 c #Conflicts: 1010000 | #Constraints: 84426
2664.22/2672.85 c #Conflicts: 1011000 | #Constraints: 85426
2664.22/2672.85 c #Conflicts: 1012000 | #Constraints: 86426
2664.22/2672.85 c #Conflicts: 1013000 | #Constraints: 87426
2664.22/2672.85 c #Conflicts: 1014000 | #Constraints: 88426
2664.22/2672.85 c #Conflicts: 1015000 | #Constraints: 89426
2664.22/2672.85 c #Conflicts: 1016000 | #Constraints: 90426
2664.22/2672.85 c #Conflicts: 1017000 | #Constraints: 91426
2664.22/2672.85 c #Conflicts: 1018000 | #Constraints: 92426
2664.22/2672.85 c #Conflicts: 1019000 | #Constraints: 93426
2664.22/2672.85 c #Conflicts: 1020000 | #Constraints: 94426
2664.22/2672.85 c INPROCESSING
2664.22/2672.85 c GARBAGE COLLECT
2664.22/2672.85 c #Conflicts: 1021000 | #Constraints: 57049
2664.22/2672.85 c #Conflicts: 1022000 | #Constraints: 58049
2664.22/2672.85 c #Conflicts: 1023000 | #Constraints: 59049
2664.22/2672.85 c #Conflicts: 1024000 | #Constraints: 60049
2664.22/2672.85 c #Conflicts: 1025000 | #Constraints: 61049
2664.22/2672.85 c #Conflicts: 1026000 | #Constraints: 62049
2664.22/2672.85 c #Conflicts: 1027000 | #Constraints: 63049
2664.22/2672.85 c #Conflicts: 1028000 | #Constraints: 64049
2664.22/2672.85 c #Conflicts: 1029000 | #Constraints: 65049
2664.22/2672.85 c #Conflicts: 1030000 | #Constraints: 66049
2664.22/2672.85 c #Conflicts: 1031000 | #Constraints: 67049
2664.22/2672.85 c #Conflicts: 1032000 | #Constraints: 68049
2664.22/2672.85 c #Conflicts: 1033000 | #Constraints: 69049
2664.22/2672.85 c #Conflicts: 1034000 | #Constraints: 70049
2664.22/2672.85 c #Conflicts: 1035000 | #Constraints: 71049
2664.22/2672.85 c #Conflicts: 1036000 | #Constraints: 72049
2664.22/2672.85 c #Conflicts: 1037000 | #Constraints: 73049
2664.22/2672.85 c #Conflicts: 1038000 | #Constraints: 74049
2664.22/2672.85 c #Conflicts: 1039000 | #Constraints: 75049
2664.22/2672.85 c #Conflicts: 1040000 | #Constraints: 76049
2664.22/2672.85 c #Conflicts: 1041000 | #Constraints: 77049
2664.22/2672.85 c #Conflicts: 1042000 | #Constraints: 78049
2664.22/2672.85 c #Conflicts: 1043000 | #Constraints: 79049
2664.22/2672.85 c #Conflicts: 1044000 | #Constraints: 80049
2664.22/2672.85 c #Conflicts: 1045000 | #Constraints: 81049
2664.22/2672.85 c INPROCESSING
2664.22/2672.85 c GARBAGE COLLECT
2664.22/2672.85 c #Conflicts: 1046000 | #Constraints: 54362
2664.22/2672.85 c #Conflicts: 1047000 | #Constraints: 55362
2664.22/2672.85 c #Conflicts: 1048000 | #Constraints: 56362
2664.22/2672.85 c #Conflicts: 1049000 | #Constraints: 57362
2664.22/2672.85 c #Conflicts: 1050000 | #Constraints: 58362
2664.22/2672.85 c #Conflicts: 1051000 | #Constraints: 59362
2664.22/2672.85 c #Conflicts: 1052000 | #Constraints: 60362
2664.22/2672.85 c #Conflicts: 1053000 | #Constraints: 61362
2664.22/2672.85 c #Conflicts: 1054000 | #Constraints: 62362
2664.22/2672.85 c #Conflicts: 1055000 | #Constraints: 63362
2664.22/2672.85 c #Conflicts: 1056000 | #Constraints: 64362
2664.22/2672.85 c #Conflicts: 1057000 | #Constraints: 65362
2664.22/2672.85 c #Conflicts: 1058000 | #Constraints: 66362
2664.22/2672.85 c #Conflicts: 1059000 | #Constraints: 67362
2664.22/2672.85 c #Conflicts: 1060000 | #Constraints: 68362
2664.22/2672.85 c #Conflicts: 1061000 | #Constraints: 69362
2664.22/2672.85 c #Conflicts: 1062000 | #Constraints: 70362
2664.22/2672.85 c #Conflicts: 1063000 | #Constraints: 71362
2664.22/2672.85 c #Conflicts: 1064000 | #Constraints: 72362
2664.22/2672.85 c #Conflicts: 1065000 | #Constraints: 73362
2664.22/2672.85 c #Conflicts: 1066000 | #Constraints: 74362
2664.22/2672.85 c #Conflicts: 1067000 | #Constraints: 75362
2664.22/2672.85 c #Conflicts: 1068000 | #Constraints: 76362
2664.22/2672.85 c #Conflicts: 1069000 | #Constraints: 77362
2664.22/2672.85 c #Conflicts: 1070000 | #Constraints: 78362
2664.22/2672.85 c #Conflicts: 1071000 | #Constraints: 79362
2664.22/2672.85 c #Conflicts: 1072000 | #Constraints: 80362
2972.69/2982.33 c #Conflicts: 1073000 | #Constraints: 81362
2972.69/2982.33 c #Conflicts: 1074000 | #Constraints: 82362
2972.69/2982.33 c #Conflicts: 1075000 | #Constraints: 83362
2972.69/2982.33 c #Conflicts: 1076000 | #Constraints: 84362
2972.69/2982.33 c #Conflicts: 1077000 | #Constraints: 85362
2972.69/2982.33 c #Conflicts: 1078000 | #Constraints: 86362
2972.69/2982.33 c #Conflicts: 1079000 | #Constraints: 87362
2972.69/2982.33 c #Conflicts: 1080000 | #Constraints: 88362
2972.69/2982.33 c #Conflicts: 1081000 | #Constraints: 89362
2972.69/2982.33 c #Conflicts: 1082000 | #Constraints: 90362
2972.69/2982.33 c #Conflicts: 1083000 | #Constraints: 91362
2972.69/2982.33 c #Conflicts: 1084000 | #Constraints: 92362
2972.69/2982.33 c #Conflicts: 1085000 | #Constraints: 93362
2972.69/2982.33 c #Conflicts: 1086000 | #Constraints: 94362
2972.69/2982.33 c #Conflicts: 1087000 | #Constraints: 95362
2972.69/2982.33 c #Conflicts: 1088000 | #Constraints: 96362
2972.69/2982.33 c #Conflicts: 1089000 | #Constraints: 97362
2972.69/2982.33 c #Conflicts: 1090000 | #Constraints: 98362
2972.69/2982.33 c #Conflicts: 1091000 | #Constraints: 99362
2972.69/2982.33 c #Conflicts: 1092000 | #Constraints: 100362
2972.69/2982.33 c #Conflicts: 1093000 | #Constraints: 101362
2972.69/2982.33 c #Conflicts: 1094000 | #Constraints: 102362
2972.69/2982.33 c #Conflicts: 1095000 | #Constraints: 103362
2972.69/2982.33 c #Conflicts: 1096000 | #Constraints: 104362
2972.69/2982.33 c #Conflicts: 1097000 | #Constraints: 105362
2972.69/2982.33 c #Conflicts: 1098000 | #Constraints: 106362
2972.69/2982.33 c #Conflicts: 1099000 | #Constraints: 107362
2972.69/2982.33 c #Conflicts: 1100000 | #Constraints: 108362
2972.69/2982.33 c #Conflicts: 1101000 | #Constraints: 109362
2972.69/2982.33 c #Conflicts: 1102000 | #Constraints: 110362
2972.69/2982.33 c #Conflicts: 1103000 | #Constraints: 111362
2972.69/2982.33 c #Conflicts: 1104000 | #Constraints: 112362
2972.69/2982.33 c #Conflicts: 1105000 | #Constraints: 113362
2972.69/2982.33 c #Conflicts: 1106000 | #Constraints: 114362
2972.69/2982.33 c #Conflicts: 1107000 | #Constraints: 115362
2972.69/2982.33 c #Conflicts: 1108000 | #Constraints: 116362
2972.69/2982.33 c #Conflicts: 1109000 | #Constraints: 117362
2972.69/2982.33 c #Conflicts: 1110000 | #Constraints: 118362
2972.69/2982.33 c #Conflicts: 1111000 | #Constraints: 119362
2972.69/2982.33 c #Conflicts: 1112000 | #Constraints: 120362
2972.69/2982.33 c #Conflicts: 1113000 | #Constraints: 121362
2972.69/2982.33 c #Conflicts: 1114000 | #Constraints: 122362
2972.69/2982.33 c #Conflicts: 1115000 | #Constraints: 123362
2972.69/2982.33 c #Conflicts: 1116000 | #Constraints: 124362
2972.69/2982.33 c #Conflicts: 1117000 | #Constraints: 125362
2972.69/2982.33 c #Conflicts: 1118000 | #Constraints: 126362
2972.69/2982.33 c INPROCESSING
2972.69/2982.33 c GARBAGE COLLECT
2972.69/2982.33 c #Conflicts: 1119000 | #Constraints: 72960
2972.69/2982.33 c #Conflicts: 1120000 | #Constraints: 73960
2972.69/2982.33 c #Conflicts: 1121000 | #Constraints: 74960
2972.69/2982.33 c #Conflicts: 1122000 | #Constraints: 75960
2972.69/2982.33 c #Conflicts: 1123000 | #Constraints: 76960
2972.69/2982.33 c #Conflicts: 1124000 | #Constraints: 77960
2972.69/2982.33 c #Conflicts: 1125000 | #Constraints: 78960
2972.69/2982.33 c #Conflicts: 1126000 | #Constraints: 79960
2972.69/2982.33 c #Conflicts: 1127000 | #Constraints: 80960
2972.69/2982.33 c #Conflicts: 1128000 | #Constraints: 81960
2972.69/2982.33 c #Conflicts: 1129000 | #Constraints: 82960
2972.69/2982.33 c #Conflicts: 1130000 | #Constraints: 83960
2972.69/2982.33 c #Conflicts: 1131000 | #Constraints: 84960
2972.69/2982.33 c #Conflicts: 1132000 | #Constraints: 85960
2972.69/2982.33 c #Conflicts: 1133000 | #Constraints: 86960
2972.69/2982.33 c #Conflicts: 1134000 | #Constraints: 87960
2972.69/2982.33 c #Conflicts: 1135000 | #Constraints: 88960
2972.69/2982.33 c #Conflicts: 1136000 | #Constraints: 89960
2972.69/2982.33 c #Conflicts: 1137000 | #Constraints: 90960
2972.69/2982.33 c #Conflicts: 1138000 | #Constraints: 91960
2972.69/2982.33 c #Conflicts: 1139000 | #Constraints: 92960
2972.69/2982.33 c #Conflicts: 1140000 | #Constraints: 93960
2972.69/2982.33 c #Conflicts: 1141000 | #Constraints: 94960
2972.69/2982.33 c #Conflicts: 1142000 | #Constraints: 95960
2972.69/2982.33 c #Conflicts: 1143000 | #Constraints: 96960
2972.69/2982.33 c #Conflicts: 1144000 | #Constraints: 97960
2972.69/2982.33 c INPROCESSING
2972.69/2982.33 c GARBAGE COLLECT
2972.69/2982.33 c rational objective 133
3049.43/3059.36 c #Conflicts: 1145000 | #Constraints: 58538
3049.43/3059.36 c #Conflicts: 1146000 | #Constraints: 59538
3049.43/3059.36 c #Conflicts: 1147000 | #Constraints: 60538
3049.43/3059.36 c #Conflicts: 1148000 | #Constraints: 61538
3049.43/3059.36 c #Conflicts: 1149000 | #Constraints: 62538
3049.43/3059.36 c #Conflicts: 1150000 | #Constraints: 63538
3049.43/3059.36 c #Conflicts: 1151000 | #Constraints: 64538
3049.43/3059.36 c #Conflicts: 1152000 | #Constraints: 65538
3049.43/3059.36 c #Conflicts: 1153000 | #Constraints: 66538
3049.43/3059.36 c #Conflicts: 1154000 | #Constraints: 67538
3049.43/3059.36 c #Conflicts: 1155000 | #Constraints: 68538
3049.43/3059.36 c #Conflicts: 1156000 | #Constraints: 69538
3049.43/3059.36 c #Conflicts: 1157000 | #Constraints: 70538
3049.43/3059.36 c #Conflicts: 1158000 | #Constraints: 71538
3049.43/3059.36 c #Conflicts: 1159000 | #Constraints: 72538
3049.43/3059.36 c #Conflicts: 1160000 | #Constraints: 73538
3049.43/3059.36 c #Conflicts: 1161000 | #Constraints: 74538
3049.43/3059.36 c #Conflicts: 1162000 | #Constraints: 75538
3049.43/3059.36 c #Conflicts: 1163000 | #Constraints: 76538
3049.43/3059.36 c #Conflicts: 1164000 | #Constraints: 77538
3049.43/3059.36 c #Conflicts: 1165000 | #Constraints: 78538
3049.43/3059.36 c #Conflicts: 1166000 | #Constraints: 79538
3049.43/3059.36 c #Conflicts: 1167000 | #Constraints: 80538
3049.43/3059.36 c #Conflicts: 1168000 | #Constraints: 81538
3049.43/3059.36 c #Conflicts: 1169000 | #Constraints: 82538
3049.43/3059.36 c #Conflicts: 1170000 | #Constraints: 83538
3049.43/3059.36 c #Conflicts: 1171000 | #Constraints: 84538
3049.43/3059.36 c INPROCESSING
3049.43/3059.36 c GARBAGE COLLECT
3049.43/3059.36 c rational objective 133
3289.70/3300.43 c #Conflicts: 1172000 | #Constraints: 56123
3289.70/3300.43 c #Conflicts: 1173000 | #Constraints: 57123
3289.70/3300.43 c #Conflicts: 1174000 | #Constraints: 58123
3289.70/3300.43 c #Conflicts: 1175000 | #Constraints: 59123
3289.70/3300.43 c #Conflicts: 1176000 | #Constraints: 60123
3289.70/3300.43 c #Conflicts: 1177000 | #Constraints: 61123
3289.70/3300.43 c #Conflicts: 1178000 | #Constraints: 62123
3289.70/3300.43 c #Conflicts: 1179000 | #Constraints: 63123
3289.70/3300.43 c #Conflicts: 1180000 | #Constraints: 64123
3289.70/3300.43 c #Conflicts: 1181000 | #Constraints: 65123
3289.70/3300.43 c #Conflicts: 1182000 | #Constraints: 66123
3289.70/3300.43 c #Conflicts: 1183000 | #Constraints: 67123
3289.70/3300.43 c #Conflicts: 1184000 | #Constraints: 68123
3289.70/3300.43 c #Conflicts: 1185000 | #Constraints: 69123
3289.70/3300.43 c #Conflicts: 1186000 | #Constraints: 70123
3289.70/3300.43 c #Conflicts: 1187000 | #Constraints: 71123
3289.70/3300.43 c #Conflicts: 1188000 | #Constraints: 72123
3289.70/3300.43 c #Conflicts: 1189000 | #Constraints: 73123
3289.70/3300.43 c #Conflicts: 1190000 | #Constraints: 74123
3289.70/3300.43 c #Conflicts: 1191000 | #Constraints: 75123
3289.70/3300.43 c #Conflicts: 1192000 | #Constraints: 76123
3289.70/3300.43 c #Conflicts: 1193000 | #Constraints: 77123
3289.70/3300.43 c #Conflicts: 1194000 | #Constraints: 78123
3289.70/3300.43 c #Conflicts: 1195000 | #Constraints: 79123
3289.70/3300.43 c #Conflicts: 1196000 | #Constraints: 80123
3289.70/3300.43 c #Conflicts: 1197000 | #Constraints: 81123
3289.70/3300.43 c #Conflicts: 1198000 | #Constraints: 82123
3289.70/3300.43 c #Conflicts: 1199000 | #Constraints: 83123
3289.70/3300.43 c #Conflicts: 1200000 | #Constraints: 84123
3289.70/3300.43 c #Conflicts: 1201000 | #Constraints: 85123
3289.70/3300.43 c #Conflicts: 1202000 | #Constraints: 86123
3289.70/3300.43 c #Conflicts: 1203000 | #Constraints: 87123
3289.70/3300.43 c #Conflicts: 1204000 | #Constraints: 88123
3289.70/3300.43 c #Conflicts: 1205000 | #Constraints: 89123
3289.70/3300.43 c #Conflicts: 1206000 | #Constraints: 90123
3289.70/3300.43 c #Conflicts: 1207000 | #Constraints: 91123
3289.70/3300.43 c #Conflicts: 1208000 | #Constraints: 92123
3289.70/3300.43 c #Conflicts: 1209000 | #Constraints: 93123
3289.70/3300.43 c #Conflicts: 1210000 | #Constraints: 94123
3289.70/3300.43 c #Conflicts: 1211000 | #Constraints: 95123
3289.70/3300.43 c #Conflicts: 1212000 | #Constraints: 96123
3289.70/3300.43 c #Conflicts: 1213000 | #Constraints: 97123
3289.70/3300.43 c #Conflicts: 1214000 | #Constraints: 98123
3289.70/3300.43 c #Conflicts: 1215000 | #Constraints: 99123
3289.70/3300.43 c #Conflicts: 1216000 | #Constraints: 100123
3289.70/3300.43 c #Conflicts: 1217000 | #Constraints: 101123
3289.70/3300.43 c #Conflicts: 1218000 | #Constraints: 102123
3289.70/3300.43 c #Conflicts: 1219000 | #Constraints: 103123
3289.70/3300.43 c #Conflicts: 1220000 | #Constraints: 104123
3289.70/3300.43 c #Conflicts: 1221000 | #Constraints: 105123
3289.70/3300.43 c #Conflicts: 1222000 | #Constraints: 106123
3289.70/3300.43 c #Conflicts: 1223000 | #Constraints: 107123
3289.70/3300.43 c #Conflicts: 1224000 | #Constraints: 108123
3289.70/3300.43 c #Conflicts: 1225000 | #Constraints: 109123
3289.70/3300.43 c #Conflicts: 1226000 | #Constraints: 110123
3289.70/3300.43 c #Conflicts: 1227000 | #Constraints: 111123
3289.70/3300.43 c #Conflicts: 1228000 | #Constraints: 112123
3289.70/3300.43 c #Conflicts: 1229000 | #Constraints: 113123
3289.70/3300.43 c #Conflicts: 1230000 | #Constraints: 114123
3289.70/3300.43 c #Conflicts: 1231000 | #Constraints: 115123
3289.70/3300.43 c #Conflicts: 1232000 | #Constraints: 116123
3289.70/3300.43 c #Conflicts: 1233000 | #Constraints: 117123
3289.70/3300.43 c #Conflicts: 1234000 | #Constraints: 118123
3289.70/3300.43 c #Conflicts: 1235000 | #Constraints: 119123
3289.70/3300.43 c #Conflicts: 1236000 | #Constraints: 120123
3289.70/3300.43 c #Conflicts: 1237000 | #Constraints: 121123
3289.70/3300.43 c #Conflicts: 1238000 | #Constraints: 122123
3289.70/3300.43 c #Conflicts: 1239000 | #Constraints: 123123
3289.70/3300.43 c #Conflicts: 1240000 | #Constraints: 124123
3289.70/3300.43 c #Conflicts: 1241000 | #Constraints: 125123
3289.70/3300.43 c #Conflicts: 1242000 | #Constraints: 126123
3289.70/3300.43 c #Conflicts: 1243000 | #Constraints: 127123
3289.70/3300.43 c #Conflicts: 1244000 | #Constraints: 128123
3289.70/3300.43 c #Conflicts: 1245000 | #Constraints: 129123
3289.70/3300.43 c #Conflicts: 1246000 | #Constraints: 130123
3289.70/3300.43 c #Conflicts: 1247000 | #Constraints: 131123
3289.70/3300.43 c #Conflicts: 1248000 | #Constraints: 132123
3289.70/3300.43 c INPROCESSING
3289.70/3300.43 c GARBAGE COLLECT
3289.70/3300.43 c #Conflicts: 1249000 | #Constraints: 75788
3289.70/3300.43 c #Conflicts: 1250000 | #Constraints: 76788
3441.84/3453.05 c #Conflicts: 1251000 | #Constraints: 77788
3441.84/3453.05 c #Conflicts: 1252000 | #Constraints: 78788
3441.84/3453.05 c #Conflicts: 1253000 | #Constraints: 79788
3441.84/3453.05 c #Conflicts: 1254000 | #Constraints: 80788
3441.84/3453.05 c #Conflicts: 1255000 | #Constraints: 81788
3441.84/3453.05 c #Conflicts: 1256000 | #Constraints: 82788
3441.84/3453.05 c #Conflicts: 1257000 | #Constraints: 83788
3441.84/3453.05 c #Conflicts: 1258000 | #Constraints: 84788
3441.84/3453.05 c #Conflicts: 1259000 | #Constraints: 85788
3441.84/3453.05 c #Conflicts: 1260000 | #Constraints: 86788
3441.84/3453.05 c #Conflicts: 1261000 | #Constraints: 87788
3441.84/3453.05 c #Conflicts: 1262000 | #Constraints: 88788
3441.84/3453.05 c #Conflicts: 1263000 | #Constraints: 89788
3441.84/3453.05 c #Conflicts: 1264000 | #Constraints: 90788
3441.84/3453.05 c #Conflicts: 1265000 | #Constraints: 91788
3441.84/3453.05 c #Conflicts: 1266000 | #Constraints: 92788
3441.84/3453.05 c #Conflicts: 1267000 | #Constraints: 93788
3441.84/3453.05 c #Conflicts: 1268000 | #Constraints: 94788
3441.84/3453.05 c #Conflicts: 1269000 | #Constraints: 95788
3441.84/3453.05 c #Conflicts: 1270000 | #Constraints: 96788
3441.84/3453.05 c #Conflicts: 1271000 | #Constraints: 97788
3441.84/3453.05 c #Conflicts: 1272000 | #Constraints: 98788
3441.84/3453.05 c #Conflicts: 1273000 | #Constraints: 99788
3441.84/3453.05 c #Conflicts: 1274000 | #Constraints: 100788
3441.84/3453.05 c #Conflicts: 1275000 | #Constraints: 101788
3441.84/3453.05 c #Conflicts: 1276000 | #Constraints: 102788
3441.84/3453.05 c INPROCESSING
3441.84/3453.05 c GARBAGE COLLECT
3441.84/3453.05 c #Conflicts: 1277000 | #Constraints: 60850
3441.84/3453.05 c #Conflicts: 1278000 | #Constraints: 61850
3441.84/3453.05 c #Conflicts: 1279000 | #Constraints: 62850
3441.84/3453.05 c #Conflicts: 1280000 | #Constraints: 63850
3441.84/3453.05 c #Conflicts: 1281000 | #Constraints: 64850
3441.84/3453.05 c #Conflicts: 1282000 | #Constraints: 65850
3441.84/3453.05 c #Conflicts: 1283000 | #Constraints: 66850
3441.84/3453.05 c #Conflicts: 1284000 | #Constraints: 67850
3441.84/3453.05 c #Conflicts: 1285000 | #Constraints: 68850
3441.84/3453.05 c #Conflicts: 1286000 | #Constraints: 69850
3441.84/3453.05 c #Conflicts: 1287000 | #Constraints: 70850
3441.84/3453.05 c #Conflicts: 1288000 | #Constraints: 71850
3441.84/3453.05 c #Conflicts: 1289000 | #Constraints: 72850
3441.84/3453.05 c #Conflicts: 1290000 | #Constraints: 73850
3441.84/3453.05 c #Conflicts: 1291000 | #Constraints: 74850
3441.84/3453.05 c #Conflicts: 1292000 | #Constraints: 75850
3441.84/3453.05 c #Conflicts: 1293000 | #Constraints: 76850
3441.84/3453.05 c #Conflicts: 1294000 | #Constraints: 77850
3441.84/3453.05 c #Conflicts: 1295000 | #Constraints: 78850
3441.84/3453.05 c #Conflicts: 1296000 | #Constraints: 79850
3441.84/3453.05 c #Conflicts: 1297000 | #Constraints: 80850
3441.84/3453.05 c #Conflicts: 1298000 | #Constraints: 81850
3441.84/3453.05 c #Conflicts: 1299000 | #Constraints: 82850
3441.84/3453.05 c #Conflicts: 1300000 | #Constraints: 83850
3441.84/3453.05 c #Conflicts: 1301000 | #Constraints: 84850
3441.84/3453.05 c #Conflicts: 1302000 | #Constraints: 85850
3441.84/3453.05 c #Conflicts: 1303000 | #Constraints: 86850
3441.84/3453.05 c #Conflicts: 1304000 | #Constraints: 87850
3441.84/3453.05 c #Conflicts: 1305000 | #Constraints: 88850
3441.84/3453.05 c INPROCESSING
3441.84/3453.05 c GARBAGE COLLECT
3441.84/3453.05 c rational objective 133
3600.00/3611.60 c #Conflicts: 1306000 | #Constraints: 59281
3600.00/3611.60 c #Conflicts: 1307000 | #Constraints: 60281
3600.00/3611.60 c #Conflicts: 1308000 | #Constraints: 61281
3600.00/3611.60 c #Conflicts: 1309000 | #Constraints: 62281
3600.00/3611.60 c #Conflicts: 1310000 | #Constraints: 63281
3600.00/3611.60 c #Conflicts: 1311000 | #Constraints: 64281
3600.00/3611.60 c #Conflicts: 1312000 | #Constraints: 65281
3600.00/3611.60 c #Conflicts: 1313000 | #Constraints: 66281
3600.00/3611.60 c #Conflicts: 1314000 | #Constraints: 67281
3600.00/3611.60 c #Conflicts: 1315000 | #Constraints: 68281
3600.00/3611.60 c #Conflicts: 1316000 | #Constraints: 69281
3600.00/3611.60 c #Conflicts: 1317000 | #Constraints: 70281
3600.00/3611.60 c #Conflicts: 1318000 | #Constraints: 71281
3600.00/3611.60 c #Conflicts: 1319000 | #Constraints: 72281
3600.00/3611.60 c #Conflicts: 1320000 | #Constraints: 73281
3600.00/3611.60 c #Conflicts: 1321000 | #Constraints: 74281
3600.00/3611.60 c #Conflicts: 1322000 | #Constraints: 75281
3600.00/3611.60 c #Conflicts: 1323000 | #Constraints: 76281
3600.00/3611.60 c #Conflicts: 1324000 | #Constraints: 77281
3600.00/3611.60 c #Conflicts: 1325000 | #Constraints: 78281
3600.00/3611.60 c #Conflicts: 1326000 | #Constraints: 79281
3600.00/3611.60 c #Conflicts: 1327000 | #Constraints: 80281
3600.00/3611.60 c #Conflicts: 1328000 | #Constraints: 81281
3600.00/3611.60 c #Conflicts: 1329000 | #Constraints: 82281
3600.00/3611.60 c #Conflicts: 1330000 | #Constraints: 83281
3600.00/3611.60 c #Conflicts: 1331000 | #Constraints: 84282
3600.00/3611.60 c #Conflicts: 1332000 | #Constraints: 85282
3600.00/3611.60 c #Conflicts: 1333000 | #Constraints: 86282
3600.00/3611.60 c #Conflicts: 1334000 | #Constraints: 87282
3600.00/3611.60 c #Conflicts: 1335000 | #Constraints: 88282
3600.00/3611.60 c #Conflicts: 1336000 | #Constraints: 89282
3600.00/3611.60 c #Conflicts: 1337000 | #Constraints: 90282
3600.00/3611.60 c #Conflicts: 1338000 | #Constraints: 91282
3600.00/3611.60 c #Conflicts: 1339000 | #Constraints: 92282
3600.00/3611.60 c #Conflicts: 1340000 | #Constraints: 93282
3600.00/3611.60 c #Conflicts: 1341000 | #Constraints: 94282
3600.00/3611.60 c #Conflicts: 1342000 | #Constraints: 95282
3600.00/3611.60 c #Conflicts: 1343000 | #Constraints: 96282
3600.00/3611.60 c #Conflicts: 1344000 | #Constraints: 97282
3600.00/3611.60 c #Conflicts: 1345000 | #Constraints: 98282
3600.00/3611.60 c #Conflicts: 1346000 | #Constraints: 99282
3600.00/3611.60 c #Conflicts: 1347000 | #Constraints: 100282
3600.00/3611.60 c #Conflicts: 1348000 | #Constraints: 101282
3600.00/3611.60 c #Conflicts: 1349000 | #Constraints: 102282
3600.00/3611.60 c #Conflicts: 1350000 | #Constraints: 103282
3600.00/3611.60 c #Conflicts: 1351000 | #Constraints: 104282
3600.00/3611.60 c #Conflicts: 1352000 | #Constraints: 105282
3600.00/3611.60 c #Conflicts: 1353000 | #Constraints: 106282
3600.00/3611.60 c #Conflicts: 1354000 | #Constraints: 107282
3600.00/3611.60 c #Conflicts: 1355000 | #Constraints: 108282
3600.00/3611.60 c #Conflicts: 1356000 | #Constraints: 109282
3600.00/3611.60 c #Conflicts: 1357000 | #Constraints: 110282
3600.00/3611.60 c #Conflicts: 1358000 | #Constraints: 111282
3600.00/3611.60 c #Conflicts: 1359000 | #Constraints: 112282
3600.00/3611.60 c #Conflicts: 1360000 | #Constraints: 113282
3600.00/3611.60 c #Conflicts: 1361000 | #Constraints: 114282
3600.00/3611.60 c #Conflicts: 1362000 | #Constraints: 115282
3600.00/3611.60 c cpu time 3580.13 s
3600.00/3611.60 c deterministic time 208571564965 2.09e+11
3600.00/3611.60 c optimization time 154.542 s
3600.00/3611.60 c total solve time 3425.39 s
3600.00/3611.60 c core-guided solve time 0 s
3600.00/3611.60 c propagation time 1624.16 s
3600.00/3611.60 c conflict analysis time 1578.66 s
3600.00/3611.60 c propagations 1371092899
3600.00/3611.60 c resolve steps 102516468
3600.00/3611.60 c decisions 19130606
3600.00/3611.60 c conflicts 1362838
3600.00/3611.60 c restarts 2573
3600.00/3611.60 c inprocessing phases 57
3600.00/3611.60 c garbage collections 57 ,( 100.00 )
3600.00/3611.60 c input clauses 15962 ,( 99.17 )
3600.00/3611.60 c input cardinalities 133 ,( 0.83 )
3600.00/3611.60 c input general constraints 0 ,( 0.00 )
3600.00/3611.60 c input average constraint length 6.43
3600.00/3611.60 c input average constraint degree 1.97
3600.00/3611.60 c learned clauses 1044379 ,( 76.63 )
3600.00/3611.60 c learned cardinalities 36209 ,( 2.66 )
3600.00/3611.60 c learned general constraints 282261 ,( 20.71 )
3600.00/3611.60 c learned average constraint length 775.01
3600.00/3611.60 c learned average constraint degree 25484224.85
3600.00/3611.60 c watched CF 32, 64, 128, Arb: 78668 , 0 , 0 , 0
3600.00/3611.60 c counting CF 32, 64, 128, Arb: 203593 , 0 , 0 , 0
3600.00/3611.60 c watched constraints 78668 ,( 27.87 )
3600.00/3611.60 c counting constraints 203593 ,( 72.13 )
3600.00/3611.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1357127152 , 531468034 , 1865014984 ,( 71453173 , 1793561811 )
3600.00/3611.60 c gcd simplifications 686
3600.00/3611.60 c detected cardinalities 4007
3600.00/3611.60 c weakened non-implied lits 411353028
3600.00/3611.60 c weakened non-implying lits 233309
3600.00/3611.60 c original variables 15827
3600.00/3611.60 c clausal propagations 624644793
3600.00/3611.60 c cardinality propagations 491928296
3600.00/3611.60 c watched propagations 4349799
3600.00/3611.60 c counting propagations 239540430
3600.00/3611.60 c watch lookups 81477508264
3600.00/3611.60 c watch backjump lookups 0
3600.00/3611.60 c watch checks 31966582515
3600.00/3611.60 c propagation checks 87296814100
3600.00/3611.60 c constraint additions 5048584490
3600.00/3611.60 c trail pops 1391574927
3600.00/3611.60 c formula constraints 16095
3600.00/3611.60 c learned constraints 1362833
3600.00/3611.60 c bound constraints 0
3600.00/3611.60 c core-guided constraints 0
3600.00/3611.60 c encountered formula constraints 69594045
3600.00/3611.60 c encountered learned constraints 34284816
3600.00/3611.60 c encountered bound constraints 0
3600.00/3611.60 c encountered core-guided constraints 0
3600.00/3611.60 c LP total time 369.088 s
3600.00/3611.60 c LP solve time 344.53 s
3600.00/3611.60 c LP constraints added 17822
3600.00/3611.60 c LP constraints removed 1318
3600.00/3611.60 c LP pivots internal 136555
3600.00/3611.60 c LP pivots root 140608
3600.00/3611.60 c LP calls 22
3600.00/3611.60 c LP optimalities 12
3600.00/3611.60 c LP no pivot count 1
3600.00/3611.60 c LP infeasibilities 4
3600.00/3611.60 c LP valid Farkas constraints 4
3600.00/3611.60 c LP learned Farkas constraints 4
3600.00/3611.60 c LP basis resets 0
3600.00/3611.60 c LP cycling count 0
3600.00/3611.60 c LP singular count 0
3600.00/3611.60 c LP no primal count 0
3600.00/3611.60 c LP no farkas count 0
3600.00/3611.60 c LP other issue count 0
3600.00/3611.60 c LP Gomory cuts 8
3600.00/3611.60 c LP learned cuts 1719
3600.00/3611.60 c LP deleted cuts 1318
3600.00/3611.60 c LP encountered Gomory constraints 0
3600.00/3611.60 c LP encountered Farkas constraints 420
3600.00/3611.60 c LP encountered learned Farkas constraints 21
3600.00/3611.60 c CG auxiliary variables introduced 0
3600.00/3611.60 c CG solutions found 0
3600.00/3611.60 c CG cores constructed 0
3600.00/3611.60 c CG core cardinality constraints returned 0
3600.00/3611.60 c CG unit cores 0
3600.00/3611.60 c CG single cores 0
3600.00/3611.60 c CG blocks removed during cardinality reduction 0
3600.00/3611.60 c CG first core best 0
3600.00/3611.60 c CG decision core best 0
3600.00/3611.60 c CG core reduction tie 0
3600.00/3611.60 c CG core degree average 0.00
3600.00/3611.60 c CG core slack average 0.00
3600.00/3611.60 c CG core upper bound improvements 0
3600.00/3611.60 c STR number of successful calls 0
3600.00/3611.60 c STR number of unsuccessful calls 0
3600.00/3611.60 c STR number of inconclusive calls 0
3600.00/3611.60 c STR number of successful attempts 0
3600.00/3611.60 c STR number of unsuccessful attempts 0
3600.00/3611.60 c STR number of inconclusive attempts 0
3600.00/3611.60 c STR average degree increase per successful call inf
3600.00/3611.60 c STR average degree increase per successful attempt inf
3600.00/3611.60 c STR total number of conflicts for successful attempts 0
3600.00/3611.60 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.60 c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.60 c STR average number of conflicts per successful attempt inf
3600.00/3611.60 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.60 c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.60 c AVG.sumWPerc 64.22
3600.00/3611.60 c bigint constraints 0
3600.00/3611.60 s UNKNOWN
3600.00/3611.60 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: 63794 MiB (62619 MiB free)
memory of node 1: 64507 MiB (61809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506942-1751174465/watcher-4506942-1751174465 -o /tmp/evaluation-result-4506942-1751174465/solver-4506942-1751174465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20069 --watchdog 3760 run-dec-ls.sh HOME/instance-4506942-1751174465.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=20597, runsolver pid=20594
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 4.17 4.12 4.07 5/256 20599
/proc/meminfo: memFree=127410924/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=61400 memory=16600 CPUtime=0.07 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 1857 0 0 0 5 2 0 0 20 0 1 0 33125903 62873600 4150 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 15350 4150 1984 1147 0 2777 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65592 KiB
Current children cumulated memory: 19672 KiB
[startup+0.213528 s]*
/proc/loadavg: 4.17 4.12 4.07 5/256 20599
/proc/meminfo: memFree=127406892/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=65364 memory=20440 CPUtime=0.18 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 2868 0 0 0 13 5 0 0 20 0 1 0 33125903 66932736 5110 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 16341 5110 1984 1147 0 3768 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 69556 KiB
Current children cumulated memory: 23512 KiB
[startup+0.313339 s]*
/proc/loadavg: 4.17 4.12 4.07 5/256 20599
/proc/meminfo: memFree=127386352/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=82044 memory=38160 CPUtime=0.25 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 7233 0 0 0 19 6 0 0 20 0 1 0 33125903 84013056 9540 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 20511 9540 2240 1147 0 7938 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 86236 KiB
Current children cumulated memory: 41232 KiB
[startup+0.700301 s]
/proc/loadavg: 4.17 4.12 4.07 5/256 20599
/proc/meminfo: memFree=127376776/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=97060 memory=50320 CPUtime=0.61 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 10425 0 0 0 53 8 0 0 20 0 1 0 33125903 99389440 12580 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 24265 12580 2272 1147 0 11692 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 101252 KiB
Current children cumulated memory: 53392 KiB
[startup+1.50022 s]
/proc/loadavg: 4.17 4.12 4.07 5/256 20599
/proc/meminfo: memFree=127375048/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=97060 memory=50320 CPUtime=1.39 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 10439 0 0 0 131 8 0 0 20 0 1 0 33125903 99389440 12580 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 24265 12580 2272 1147 0 11692 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 101252 KiB
Current children cumulated memory: 53392 KiB
[startup+3.10543 s]
/proc/loadavg: 4.24 4.14 4.08 5/256 20599
/proc/meminfo: memFree=127371176/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=98716 memory=52496 CPUtime=2.99 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 10973 0 0 0 290 9 0 0 20 0 1 0 33125903 101085184 13124 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 24679 13124 2272 1147 0 12106 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 102908 KiB
Current children cumulated memory: 55568 KiB
[startup+6.30021 s]
/proc/loadavg: 4.24 4.14 4.08 5/256 20599
/proc/meminfo: memFree=127367648/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=104428 memory=60900 CPUtime=6.15 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 12517 0 0 0 601 14 0 0 20 0 1 0 33125903 106934272 15225 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 26107 15225 2368 1147 0 13534 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 108620 KiB
Current children cumulated memory: 63972 KiB
[startup+12.7002 s]
/proc/loadavg: 4.30 4.15 4.09 5/256 20599
/proc/meminfo: memFree=127357036/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=112924 memory=69092 CPUtime=12.49 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 14556 0 0 0 1224 25 0 0 20 0 1 0 33125903 115634176 17273 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 28231 17273 2368 1147 0 15658 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 117116 KiB
Current children cumulated memory: 72164 KiB
[startup+25.5002 s]
/proc/loadavg: 4.52 4.21 4.11 5/256 20599
/proc/meminfo: memFree=127359152/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=119704 memory=75492 CPUtime=25.17 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 16170 0 0 0 2472 45 0 0 20 0 1 0 33125903 122576896 18873 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 29926 18873 2368 1147 0 17353 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 123896 KiB
Current children cumulated memory: 78564 KiB
[startup+51.1055 s]
/proc/loadavg: 4.69 4.27 4.13 5/256 20599
/proc/meminfo: memFree=127325192/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=159620 memory=104356 CPUtime=50.52 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 20843 0 0 0 4966 86 0 0 20 0 1 0 33125903 163450880 26089 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 39905 26089 2368 1147 0 27332 0
Current children cumulated CPU time: 50.52 s
Current children cumulated vsize: 163812 KiB
Current children cumulated memory: 107428 KiB
[startup+102.3 s]
/proc/loadavg: 4.42 4.27 4.14 5/255 20601
/proc/meminfo: memFree=127293012/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=203036 memory=147736 CPUtime=101.52 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 27635 0 0 0 10014 138 0 0 20 0 1 0 33125903 207908864 36934 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 50759 36934 2368 1147 0 38186 0
Current children cumulated CPU time: 101.52 s
Current children cumulated vsize: 207228 KiB
Current children cumulated memory: 150808 KiB
[startup+162.3 s]
/proc/loadavg: 4.53 4.32 4.16 5/256 20604
/proc/meminfo: memFree=127187156/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=224004 memory=170912 CPUtime=161.35 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 31897 0 0 0 15930 205 0 0 20 0 1 0 33125903 229380096 42728 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 56001 42728 2368 1147 0 43428 0
Current children cumulated CPU time: 161.35 s
Current children cumulated vsize: 228196 KiB
Current children cumulated memory: 173984 KiB
[startup+222.3 s]
/proc/loadavg: 4.72 4.43 4.21 5/257 20653
/proc/meminfo: memFree=127516396/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=316612 memory=244992 CPUtime=221.16 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 35583 0 0 0 21863 253 0 0 20 0 1 0 33125903 324210688 61248 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 79153 61248 2368 1147 0 66580 0
Current children cumulated CPU time: 221.16 s
################
# More data... #
################
/proc/20599/statm: 257712 217619 2464 1147 0 245139 0
Current children cumulated CPU time: 3032.48 s
Current children cumulated vsize: 1035040 KiB
Current children cumulated memory: 873548 KiB
[startup+3102.3 s]
/proc/loadavg: 4.31 4.26 4.16 5/256 20899
/proc/meminfo: memFree=126664304/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=1033040 memory=872524 CPUtime=3092.28 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 104018 0 0 0 307468 1760 0 0 20 0 1 0 33125903 1057832960 218131 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 258260 218131 2464 1147 0 245687 0
Current children cumulated CPU time: 3092.28 s
Current children cumulated vsize: 1037232 KiB
Current children cumulated memory: 875596 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.25 4.16 5/255 20901
/proc/meminfo: memFree=126648224/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=1033040 memory=872524 CPUtime=3152.07 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 104019 0 0 0 313416 1791 0 0 20 0 1 0 33125903 1057832960 218131 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 258260 218131 2464 1147 0 245687 0
Current children cumulated CPU time: 3152.07 s
Current children cumulated vsize: 1037232 KiB
Current children cumulated memory: 875596 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.23 4.16 5/256 20904
/proc/meminfo: memFree=126648224/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=1036856 memory=875212 CPUtime=3211.87 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 104683 0 0 0 319374 1813 0 0 20 0 1 0 33125903 1061740544 218803 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 259214 218803 2464 1147 0 246641 0
Current children cumulated CPU time: 3211.87 s
Current children cumulated vsize: 1041048 KiB
Current children cumulated memory: 878284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.20 4.16 5/255 20906
/proc/meminfo: memFree=126656128/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=1050908 memory=885452 CPUtime=3271.66 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 107357 0 0 0 325330 1836 0 0 20 0 1 0 33125903 1076129792 221363 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 262727 221363 2464 1147 0 250154 0
Current children cumulated CPU time: 3271.66 s
Current children cumulated vsize: 1055100 KiB
Current children cumulated memory: 888524 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/255 20908
/proc/meminfo: memFree=126623660/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=1058052 memory=890444 CPUtime=3331.46 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 108618 0 0 0 331281 1865 0 0 20 0 1 0 33125903 1083445248 222611 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 264513 222611 2464 1147 0 251940 0
Current children cumulated CPU time: 3331.46 s
Current children cumulated vsize: 1062244 KiB
Current children cumulated memory: 893516 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.19 4.16 5/254 20910
/proc/meminfo: memFree=126602388/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=1058052 memory=899020 CPUtime=3391.28 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 108749 0 0 0 337234 1894 0 0 20 0 1 0 33125903 1083445248 224755 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 264513 224755 2464 1147 0 251940 0
Current children cumulated CPU time: 3391.28 s
Current children cumulated vsize: 1062244 KiB
Current children cumulated memory: 902092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.18 4.16 5/254 20912
/proc/meminfo: memFree=126571244/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=1060788 memory=912076 CPUtime=3451.11 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 109470 0 0 0 343181 1930 0 0 20 0 1 0 33125903 1086246912 228019 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 265197 228019 2464 1147 0 252624 0
Current children cumulated CPU time: 3451.11 s
Current children cumulated vsize: 1064980 KiB
Current children cumulated memory: 915148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.15 5/254 20914
/proc/meminfo: memFree=126582412/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=1060788 memory=912076 CPUtime=3510.94 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 109470 0 0 0 349131 1963 0 0 20 0 1 0 33125903 1086246912 228019 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 265197 228019 2464 1147 0 252624 0
Current children cumulated CPU time: 3510.94 s
Current children cumulated vsize: 1064980 KiB
Current children cumulated memory: 915148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.37 4.21 4.17 5/255 20919
/proc/meminfo: memFree=126578768/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=1060788 memory=912076 CPUtime=3570.78 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 109470 0 0 0 355101 1977 0 0 20 0 1 0 33125903 1086246912 228019 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 265197 228019 2464 1147 0 252624 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 1064980 KiB
Current children cumulated memory: 915148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.68 4.30 4.20 5/255 20922
/proc/meminfo: memFree=126562104/131382120 swapFree=33010684/33010684
[pid=20597] ppid=20594 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20597/stat : 20597 (run-dec-ls.sh) S 20594 20597 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33125902 4292608 768 18446744073709551615 94886652809216 94886653703749 140728581721824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94886653942800 94886653990544 94886681714688 140728581728615 140728581728741 140728581728741 140728581734343 0
/proc/20597/statm: 1048 768 704 219 0 110 0
[pid=20599] ppid=20597 vsize=1060788 memory=912076 CPUtime=3600 cores=4,6
/proc/20599/stat : 20599 (roundingsat) R 20597 20597 20058 0 -1 4194304 109471 0 0 0 358012 1988 0 0 20 0 1 0 33125903 1086246912 228019 18446744073709551615 4227072 8923433 140723430345680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15765504 140723430353312 140723430353448 140723430353448 140723430359018 0
/proc/20599/statm: 265197 228019 2464 1147 0 252624 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1064980 KiB
Current children cumulated memory: 915148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.61 s]
# the end of solver process 20597 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.00531 s
[startup+3611.61 s]
# the end of solver process 20599 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.13 s, system=19.8962 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.61
CPU time (s): 3600.03
CPU user time (s): 3580.13
CPU system time (s): 19.8962
CPU usage (%): 99.6793
Max. virtual memory (cumulated for all children) (KiB): 1064980
Max. memory (cumulated for all children) (KiB): 915148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.13
system time used= 19.8962
maximum resident set size= 912332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 284
involuntary context switches= 20380
# summary of solver processes directly reported to runsolver:
# pid: 20597,20599
# total CPU time (s): 3600.03
# total CPU user time (s): 3580.13
# total CPU system time (s): 19.8962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9997 second user time and 35.3527 second system time
The end
Begin job on nodeC006 at 2025-06-29 07:21:05
IDJOB=4506942
IDBENCH=158309
IDSOLVER=3353
FILE ID=nodeC006/4506942-1751174465
RUNJOBID= nodeC006-1751170846-20069
SLURM_JOB_ID= 9587530
Free space on /tmp= 432944 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506942-1751174465/watcher-4506942-1751174465 -o /tmp/evaluation-result-4506942-1751174465/solver-4506942-1751174465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20069 --watchdog 3760 run-dec-ls.sh HOME/instance-4506942-1751174465.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9ec822d6c0cd68d217a6cdee070ca11c
RANDOM SEED=1150127522
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3514.888
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.635
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.205
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.138
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.210
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.061
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127414640 kB
MemAvailable: 127149984 kB
Buffers: 3280 kB
Cached: 546792 kB
SwapCached: 0 kB
Active: 3137492 kB
Inactive: 299028 kB
Active(anon): 2904408 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 299028 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8436 kB
Writeback: 4 kB
AnonPages: 2887036 kB
Mapped: 114604 kB
Shmem: 17960 kB
KReclaimable: 85336 kB
Slab: 164148 kB
SReclaimable: 85336 kB
SUnreclaim: 78812 kB
KernelStack: 4112 kB
PageTables: 8884 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3559948 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2471936 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC006 at 2025-06-29 08:21:17