0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.18/0.25 c #variables 17850 #constraints 18152
98.00/98.31 c #Conflicts: 1000 | #Constraints: 19151
98.00/98.31 c #Conflicts: 2000 | #Constraints: 20151
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 3000 | #Constraints: 19395
98.00/98.31 c #Conflicts: 4000 | #Constraints: 20395
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 5000 | #Constraints: 19885
98.00/98.31 c #Conflicts: 6000 | #Constraints: 20885
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 7000 | #Constraints: 19966
98.00/98.31 c #Conflicts: 8000 | #Constraints: 20966
98.00/98.31 c #Conflicts: 9000 | #Constraints: 21966
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 10000 | #Constraints: 20709
98.00/98.31 c #Conflicts: 11000 | #Constraints: 21709
98.00/98.31 c #Conflicts: 12000 | #Constraints: 22709
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 13000 | #Constraints: 21237
98.00/98.31 c #Conflicts: 14000 | #Constraints: 22237
98.00/98.31 c #Conflicts: 15000 | #Constraints: 23237
98.00/98.31 c #Conflicts: 16000 | #Constraints: 24237
98.00/98.31 c #Conflicts: 17000 | #Constraints: 25237
98.00/98.31 c #Conflicts: 18000 | #Constraints: 26237
98.00/98.31 c #Conflicts: 19000 | #Constraints: 27237
98.00/98.31 c #Conflicts: 20000 | #Constraints: 28237
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 21000 | #Constraints: 23900
98.00/98.31 c #Conflicts: 22000 | #Constraints: 24900
98.00/98.31 c #Conflicts: 23000 | #Constraints: 25900
98.00/98.31 c #Conflicts: 24000 | #Constraints: 26900
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 25000 | #Constraints: 23219
98.00/98.31 c #Conflicts: 26000 | #Constraints: 24219
98.00/98.31 c #Conflicts: 27000 | #Constraints: 25219
98.00/98.31 c #Conflicts: 28000 | #Constraints: 26219
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 29000 | #Constraints: 22755
98.00/98.31 c #Conflicts: 30000 | #Constraints: 23755
98.00/98.31 c #Conflicts: 31000 | #Constraints: 24755
98.00/98.31 c #Conflicts: 32000 | #Constraints: 25755
98.00/98.31 c #Conflicts: 33000 | #Constraints: 26755
98.00/98.31 c #Conflicts: 34000 | #Constraints: 27755
98.00/98.31 c #Conflicts: 35000 | #Constraints: 28755
98.00/98.31 c #Conflicts: 36000 | #Constraints: 29755
98.00/98.31 c #Conflicts: 37000 | #Constraints: 30755
98.00/98.31 c #Conflicts: 38000 | #Constraints: 31755
98.00/98.31 c #Conflicts: 39000 | #Constraints: 32755
98.00/98.31 c #Conflicts: 40000 | #Constraints: 33755
98.00/98.31 c #Conflicts: 41000 | #Constraints: 34755
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 42000 | #Constraints: 27239
98.00/98.31 c #Conflicts: 43000 | #Constraints: 28239
98.00/98.31 c #Conflicts: 44000 | #Constraints: 29239
98.00/98.31 c #Conflicts: 45000 | #Constraints: 30239
98.00/98.31 c #Conflicts: 46000 | #Constraints: 31239
98.00/98.31 c #Conflicts: 47000 | #Constraints: 32239
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 48000 | #Constraints: 26297
98.00/98.31 c #Conflicts: 49000 | #Constraints: 27297
98.00/98.31 c #Conflicts: 50000 | #Constraints: 28297
98.00/98.31 c #Conflicts: 51000 | #Constraints: 29297
98.00/98.31 c #Conflicts: 52000 | #Constraints: 30297
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 53000 | #Constraints: 25381
98.00/98.31 c #Conflicts: 54000 | #Constraints: 26381
98.00/98.31 c #Conflicts: 55000 | #Constraints: 27381
98.00/98.31 c #Conflicts: 56000 | #Constraints: 28381
98.00/98.31 c #Conflicts: 57000 | #Constraints: 29381
98.00/98.31 c #Conflicts: 58000 | #Constraints: 30381
98.00/98.31 c #Conflicts: 59000 | #Constraints: 31381
98.00/98.31 c #Conflicts: 60000 | #Constraints: 32381
98.00/98.31 c #Conflicts: 61000 | #Constraints: 33381
98.00/98.31 c #Conflicts: 62000 | #Constraints: 34381
98.00/98.31 c #Conflicts: 63000 | #Constraints: 35381
98.00/98.31 c #Conflicts: 64000 | #Constraints: 36381
98.00/98.31 c #Conflicts: 65000 | #Constraints: 37381
98.00/98.31 c #Conflicts: 66000 | #Constraints: 38381
98.00/98.31 c #Conflicts: 67000 | #Constraints: 39381
98.00/98.31 c #Conflicts: 68000 | #Constraints: 40381
98.00/98.31 c #Conflicts: 69000 | #Constraints: 41381
98.00/98.31 c INPROCESSING
98.00/98.31 c GARBAGE COLLECT
98.00/98.31 c #Conflicts: 70000 | #Constraints: 30597
98.00/98.31 c #Conflicts: 71000 | #Constraints: 31597
98.00/98.31 c #Conflicts: 72000 | #Constraints: 32597
220.39/221.01 c #Conflicts: 73000 | #Constraints: 33597
220.39/221.01 c #Conflicts: 74000 | #Constraints: 34597
220.39/221.01 c #Conflicts: 75000 | #Constraints: 35597
220.39/221.01 c #Conflicts: 76000 | #Constraints: 36597
220.39/221.01 c INPROCESSING
220.39/221.01 c GARBAGE COLLECT
220.39/221.01 c #Conflicts: 77000 | #Constraints: 28162
220.39/221.01 c #Conflicts: 78000 | #Constraints: 29162
220.39/221.01 c #Conflicts: 79000 | #Constraints: 30162
220.39/221.01 c #Conflicts: 80000 | #Constraints: 31162
220.39/221.01 c #Conflicts: 81000 | #Constraints: 32162
220.39/221.01 c #Conflicts: 82000 | #Constraints: 33162
220.39/221.01 c #Conflicts: 83000 | #Constraints: 34162
220.39/221.01 c #Conflicts: 84000 | #Constraints: 35162
220.39/221.01 c #Conflicts: 85000 | #Constraints: 36162
220.39/221.01 c #Conflicts: 86000 | #Constraints: 37162
220.39/221.01 c #Conflicts: 87000 | #Constraints: 38162
220.39/221.01 c #Conflicts: 88000 | #Constraints: 39162
220.39/221.01 c #Conflicts: 89000 | #Constraints: 40162
220.39/221.01 c #Conflicts: 90000 | #Constraints: 41162
220.39/221.01 c #Conflicts: 91000 | #Constraints: 42162
220.39/221.01 c #Conflicts: 92000 | #Constraints: 43162
220.39/221.01 c #Conflicts: 93000 | #Constraints: 44162
220.39/221.01 c #Conflicts: 94000 | #Constraints: 45162
220.39/221.01 c #Conflicts: 95000 | #Constraints: 46162
220.39/221.01 c #Conflicts: 96000 | #Constraints: 47162
220.39/221.01 c INPROCESSING
220.39/221.01 c GARBAGE COLLECT
220.39/221.01 c #Conflicts: 97000 | #Constraints: 33637
220.39/221.01 c #Conflicts: 98000 | #Constraints: 34637
220.39/221.01 c #Conflicts: 99000 | #Constraints: 35637
220.39/221.01 c #Conflicts: 100000 | #Constraints: 36637
220.39/221.01 c #Conflicts: 101000 | #Constraints: 37637
220.39/221.01 c #Conflicts: 102000 | #Constraints: 38637
220.39/221.01 c #Conflicts: 103000 | #Constraints: 39637
220.39/221.01 c #Conflicts: 104000 | #Constraints: 40637
220.39/221.01 c #Conflicts: 105000 | #Constraints: 41637
220.39/221.01 c INPROCESSING
220.39/221.01 c GARBAGE COLLECT
220.39/221.01 c #Conflicts: 106000 | #Constraints: 31149
220.39/221.01 c #Conflicts: 107000 | #Constraints: 32149
220.39/221.01 c #Conflicts: 108000 | #Constraints: 33149
220.39/221.01 c #Conflicts: 109000 | #Constraints: 34149
220.39/221.01 c #Conflicts: 110000 | #Constraints: 35149
220.39/221.01 c #Conflicts: 111000 | #Constraints: 36149
220.39/221.01 c #Conflicts: 112000 | #Constraints: 37149
220.39/221.01 c #Conflicts: 113000 | #Constraints: 38149
220.39/221.01 c #Conflicts: 114000 | #Constraints: 39149
220.39/221.01 c #Conflicts: 115000 | #Constraints: 40149
220.39/221.01 c #Conflicts: 116000 | #Constraints: 41149
220.39/221.01 c #Conflicts: 117000 | #Constraints: 42149
220.39/221.01 c #Conflicts: 118000 | #Constraints: 43149
220.39/221.01 c #Conflicts: 119000 | #Constraints: 44149
220.39/221.01 c #Conflicts: 120000 | #Constraints: 45149
220.39/221.01 c #Conflicts: 121000 | #Constraints: 46149
220.39/221.01 c #Conflicts: 122000 | #Constraints: 47149
220.39/221.01 c #Conflicts: 123000 | #Constraints: 48149
220.39/221.01 c #Conflicts: 124000 | #Constraints: 49149
220.39/221.01 c #Conflicts: 125000 | #Constraints: 50149
220.39/221.01 c #Conflicts: 126000 | #Constraints: 51149
220.39/221.01 c #Conflicts: 127000 | #Constraints: 52149
220.39/221.01 c #Conflicts: 128000 | #Constraints: 53149
220.39/221.01 c INPROCESSING
220.39/221.01 c GARBAGE COLLECT
220.39/221.01 c #Conflicts: 129000 | #Constraints: 37005
220.39/221.01 c #Conflicts: 130000 | #Constraints: 38005
220.39/221.01 c #Conflicts: 131000 | #Constraints: 39005
220.39/221.01 c #Conflicts: 132000 | #Constraints: 40005
220.39/221.01 c #Conflicts: 133000 | #Constraints: 41005
220.39/221.01 c #Conflicts: 134000 | #Constraints: 42005
220.39/221.01 c #Conflicts: 135000 | #Constraints: 43005
220.39/221.01 c #Conflicts: 136000 | #Constraints: 44005
220.39/221.01 c #Conflicts: 137000 | #Constraints: 45005
220.39/221.01 c INPROCESSING
220.39/221.01 c GARBAGE COLLECT
220.39/221.01 c #Conflicts: 138000 | #Constraints: 32711
220.39/221.01 c #Conflicts: 139000 | #Constraints: 33711
220.39/221.01 c #Conflicts: 140000 | #Constraints: 34711
220.39/221.01 c #Conflicts: 141000 | #Constraints: 35711
220.39/221.01 c #Conflicts: 142000 | #Constraints: 36711
220.39/221.01 c #Conflicts: 143000 | #Constraints: 37711
220.39/221.01 c #Conflicts: 144000 | #Constraints: 38711
220.39/221.01 c #Conflicts: 145000 | #Constraints: 39711
220.39/221.01 c #Conflicts: 146000 | #Constraints: 40711
220.39/221.01 c #Conflicts: 147000 | #Constraints: 41711
367.68/368.70 c #Conflicts: 148000 | #Constraints: 42711
367.68/368.70 c #Conflicts: 149000 | #Constraints: 43711
367.68/368.70 c #Conflicts: 150000 | #Constraints: 44711
367.68/368.70 c #Conflicts: 151000 | #Constraints: 45711
367.68/368.70 c #Conflicts: 152000 | #Constraints: 46711
367.68/368.70 c #Conflicts: 153000 | #Constraints: 47711
367.68/368.70 c #Conflicts: 154000 | #Constraints: 48711
367.68/368.70 c #Conflicts: 155000 | #Constraints: 49711
367.68/368.70 c #Conflicts: 156000 | #Constraints: 50711
367.68/368.70 c #Conflicts: 157000 | #Constraints: 51711
367.68/368.70 c #Conflicts: 158000 | #Constraints: 52711
367.68/368.70 c #Conflicts: 159000 | #Constraints: 53711
367.68/368.70 c #Conflicts: 160000 | #Constraints: 54711
367.68/368.70 c #Conflicts: 161000 | #Constraints: 55711
367.68/368.70 c #Conflicts: 162000 | #Constraints: 56711
367.68/368.70 c #Conflicts: 163000 | #Constraints: 57711
367.68/368.70 c INPROCESSING
367.68/368.70 c GARBAGE COLLECT
367.68/368.70 c #Conflicts: 164000 | #Constraints: 39013
367.68/368.70 c #Conflicts: 165000 | #Constraints: 40013
367.68/368.70 c #Conflicts: 166000 | #Constraints: 41013
367.68/368.70 c #Conflicts: 167000 | #Constraints: 42013
367.68/368.70 c #Conflicts: 168000 | #Constraints: 43013
367.68/368.70 c #Conflicts: 169000 | #Constraints: 44013
367.68/368.70 c #Conflicts: 170000 | #Constraints: 45013
367.68/368.70 c #Conflicts: 171000 | #Constraints: 46013
367.68/368.70 c #Conflicts: 172000 | #Constraints: 47013
367.68/368.70 c #Conflicts: 173000 | #Constraints: 48013
367.68/368.70 c #Conflicts: 174000 | #Constraints: 49013
367.68/368.70 c INPROCESSING
367.68/368.70 c GARBAGE COLLECT
367.68/368.70 c #Conflicts: 175000 | #Constraints: 34972
367.68/368.70 c #Conflicts: 176000 | #Constraints: 35972
367.68/368.70 c #Conflicts: 177000 | #Constraints: 36972
367.68/368.70 c #Conflicts: 178000 | #Constraints: 37972
367.68/368.70 c #Conflicts: 179000 | #Constraints: 38972
367.68/368.70 c #Conflicts: 180000 | #Constraints: 39972
367.68/368.70 c #Conflicts: 181000 | #Constraints: 40972
367.68/368.70 c #Conflicts: 182000 | #Constraints: 41972
367.68/368.70 c #Conflicts: 183000 | #Constraints: 42972
367.68/368.70 c #Conflicts: 184000 | #Constraints: 43972
367.68/368.70 c #Conflicts: 185000 | #Constraints: 44972
367.68/368.70 c #Conflicts: 186000 | #Constraints: 45972
367.68/368.70 c #Conflicts: 187000 | #Constraints: 46972
367.68/368.70 c #Conflicts: 188000 | #Constraints: 47972
367.68/368.70 c #Conflicts: 189000 | #Constraints: 48972
367.68/368.70 c #Conflicts: 190000 | #Constraints: 49972
367.68/368.70 c #Conflicts: 191000 | #Constraints: 50972
367.68/368.70 c #Conflicts: 192000 | #Constraints: 51972
367.68/368.70 c #Conflicts: 193000 | #Constraints: 52972
367.68/368.70 c #Conflicts: 194000 | #Constraints: 53972
367.68/368.70 c #Conflicts: 195000 | #Constraints: 54972
367.68/368.70 c #Conflicts: 196000 | #Constraints: 55972
367.68/368.70 c #Conflicts: 197000 | #Constraints: 56972
367.68/368.70 c #Conflicts: 198000 | #Constraints: 57972
367.68/368.70 c #Conflicts: 199000 | #Constraints: 58972
367.68/368.70 c #Conflicts: 200000 | #Constraints: 59972
367.68/368.70 c #Conflicts: 201000 | #Constraints: 60972
367.68/368.70 c #Conflicts: 202000 | #Constraints: 61972
367.68/368.70 c #Conflicts: 203000 | #Constraints: 62972
367.68/368.70 c #Conflicts: 204000 | #Constraints: 63972
367.68/368.70 c INPROCESSING
367.68/368.70 c GARBAGE COLLECT
367.68/368.70 c #Conflicts: 205000 | #Constraints: 42661
367.68/368.70 c #Conflicts: 206000 | #Constraints: 43661
367.68/368.70 c #Conflicts: 207000 | #Constraints: 44661
367.68/368.70 c #Conflicts: 208000 | #Constraints: 45661
367.68/368.70 c #Conflicts: 209000 | #Constraints: 46661
367.68/368.70 c #Conflicts: 210000 | #Constraints: 47661
367.68/368.70 c #Conflicts: 211000 | #Constraints: 48661
367.68/368.70 c #Conflicts: 212000 | #Constraints: 49661
367.68/368.70 c #Conflicts: 213000 | #Constraints: 50661
367.68/368.70 c #Conflicts: 214000 | #Constraints: 51661
367.68/368.70 c #Conflicts: 215000 | #Constraints: 52661
367.68/368.70 c #Conflicts: 216000 | #Constraints: 53661
367.68/368.70 c INPROCESSING
367.68/368.70 c GARBAGE COLLECT
367.68/368.70 c rational objective 150
447.47/448.75 c #Conflicts: 217000 | #Constraints: 37301
447.47/448.75 c #Conflicts: 218000 | #Constraints: 38301
447.47/448.75 c #Conflicts: 219000 | #Constraints: 39301
447.47/448.75 c #Conflicts: 220000 | #Constraints: 40301
447.47/448.75 c #Conflicts: 221000 | #Constraints: 41301
447.47/448.75 c #Conflicts: 222000 | #Constraints: 42301
447.47/448.75 c #Conflicts: 223000 | #Constraints: 43301
447.47/448.75 c #Conflicts: 224000 | #Constraints: 44301
447.47/448.75 c #Conflicts: 225000 | #Constraints: 45301
447.47/448.75 c #Conflicts: 226000 | #Constraints: 46301
447.47/448.75 c #Conflicts: 227000 | #Constraints: 47301
447.47/448.75 c #Conflicts: 228000 | #Constraints: 48301
447.47/448.75 c #Conflicts: 229000 | #Constraints: 49301
447.47/448.75 c #Conflicts: 230000 | #Constraints: 50301
447.47/448.75 c #Conflicts: 231000 | #Constraints: 51301
447.47/448.75 c #Conflicts: 232000 | #Constraints: 52301
447.47/448.75 c #Conflicts: 233000 | #Constraints: 53301
447.47/448.75 c #Conflicts: 234000 | #Constraints: 54301
447.47/448.75 c #Conflicts: 235000 | #Constraints: 55301
447.47/448.75 c #Conflicts: 236000 | #Constraints: 56301
447.47/448.75 c #Conflicts: 237000 | #Constraints: 57301
447.47/448.75 c #Conflicts: 238000 | #Constraints: 58301
447.47/448.75 c #Conflicts: 239000 | #Constraints: 59301
447.47/448.75 c #Conflicts: 240000 | #Constraints: 60301
447.47/448.75 c #Conflicts: 241000 | #Constraints: 61301
447.47/448.75 c #Conflicts: 242000 | #Constraints: 62301
447.47/448.75 c #Conflicts: 243000 | #Constraints: 63301
447.47/448.75 c #Conflicts: 244000 | #Constraints: 64301
447.47/448.75 c #Conflicts: 245000 | #Constraints: 65301
447.47/448.75 c #Conflicts: 246000 | #Constraints: 66301
447.47/448.75 c #Conflicts: 247000 | #Constraints: 67301
447.47/448.75 c #Conflicts: 248000 | #Constraints: 68301
447.47/448.75 c INPROCESSING
447.47/448.75 c GARBAGE COLLECT
447.47/448.75 c rational objective 150
604.27/605.95 c #Conflicts: 249000 | #Constraints: 44434
604.27/605.95 c #Conflicts: 250000 | #Constraints: 45434
604.27/605.95 c #Conflicts: 251000 | #Constraints: 46434
604.27/605.95 c #Conflicts: 252000 | #Constraints: 47434
604.27/605.95 c #Conflicts: 253000 | #Constraints: 48434
604.27/605.95 c #Conflicts: 254000 | #Constraints: 49434
604.27/605.95 c #Conflicts: 255000 | #Constraints: 50434
604.27/605.95 c #Conflicts: 256000 | #Constraints: 51435
604.27/605.95 c #Conflicts: 257000 | #Constraints: 52435
604.27/605.95 c #Conflicts: 258000 | #Constraints: 53435
604.27/605.95 c #Conflicts: 259000 | #Constraints: 54435
604.27/605.95 c #Conflicts: 260000 | #Constraints: 55435
604.27/605.95 c #Conflicts: 261000 | #Constraints: 56435
604.27/605.95 c #Conflicts: 262000 | #Constraints: 57435
604.27/605.95 c INPROCESSING
604.27/605.95 c GARBAGE COLLECT
604.27/605.95 c #Conflicts: 263000 | #Constraints: 39636
604.27/605.95 c #Conflicts: 264000 | #Constraints: 40636
604.27/605.95 c #Conflicts: 265000 | #Constraints: 41636
604.27/605.95 c #Conflicts: 266000 | #Constraints: 42636
604.27/605.95 c #Conflicts: 267000 | #Constraints: 43636
604.27/605.95 c #Conflicts: 268000 | #Constraints: 44636
604.27/605.95 c #Conflicts: 269000 | #Constraints: 45636
604.27/605.95 c #Conflicts: 270000 | #Constraints: 46636
604.27/605.95 c #Conflicts: 271000 | #Constraints: 47636
604.27/605.95 c #Conflicts: 272000 | #Constraints: 48636
604.27/605.95 c #Conflicts: 273000 | #Constraints: 49636
604.27/605.95 c #Conflicts: 274000 | #Constraints: 50636
604.27/605.95 c #Conflicts: 275000 | #Constraints: 51636
604.27/605.95 c #Conflicts: 276000 | #Constraints: 52636
604.27/605.95 c #Conflicts: 277000 | #Constraints: 53636
604.27/605.95 c #Conflicts: 278000 | #Constraints: 54636
604.27/605.95 c #Conflicts: 279000 | #Constraints: 55637
604.27/605.95 c #Conflicts: 280000 | #Constraints: 56637
604.27/605.95 c #Conflicts: 281000 | #Constraints: 57637
604.27/605.95 c #Conflicts: 282000 | #Constraints: 58637
604.27/605.95 c #Conflicts: 283000 | #Constraints: 59637
604.27/605.95 c #Conflicts: 284000 | #Constraints: 60637
604.27/605.95 c #Conflicts: 285000 | #Constraints: 61637
604.27/605.95 c #Conflicts: 286000 | #Constraints: 62637
604.27/605.95 c #Conflicts: 287000 | #Constraints: 63637
604.27/605.95 c #Conflicts: 288000 | #Constraints: 64637
604.27/605.95 c #Conflicts: 289000 | #Constraints: 65637
604.27/605.95 c #Conflicts: 290000 | #Constraints: 66638
604.27/605.95 c #Conflicts: 291000 | #Constraints: 67638
604.27/605.95 c #Conflicts: 292000 | #Constraints: 68638
604.27/605.95 c #Conflicts: 293000 | #Constraints: 69638
604.27/605.95 c #Conflicts: 294000 | #Constraints: 70638
604.27/605.95 c #Conflicts: 295000 | #Constraints: 71638
604.27/605.95 c #Conflicts: 296000 | #Constraints: 72638
604.27/605.95 c #Conflicts: 297000 | #Constraints: 73638
604.27/605.95 c INPROCESSING
604.27/605.95 c GARBAGE COLLECT
604.27/605.95 c #Conflicts: 298000 | #Constraints: 47231
604.27/605.95 c #Conflicts: 299000 | #Constraints: 48231
604.27/605.95 c #Conflicts: 300000 | #Constraints: 49231
604.27/605.95 c #Conflicts: 301000 | #Constraints: 50231
604.27/605.95 c #Conflicts: 302000 | #Constraints: 51232
604.27/605.95 c #Conflicts: 303000 | #Constraints: 52232
604.27/605.95 c #Conflicts: 304000 | #Constraints: 53232
604.27/605.95 c #Conflicts: 305000 | #Constraints: 54232
604.27/605.95 c #Conflicts: 306000 | #Constraints: 55232
604.27/605.95 c #Conflicts: 307000 | #Constraints: 56232
604.27/605.95 c #Conflicts: 308000 | #Constraints: 57232
604.27/605.95 c #Conflicts: 309000 | #Constraints: 58232
604.27/605.95 c #Conflicts: 310000 | #Constraints: 59232
604.27/605.95 c #Conflicts: 311000 | #Constraints: 60232
604.27/605.95 c #Conflicts: 312000 | #Constraints: 61232
604.27/605.95 c INPROCESSING
604.27/605.95 c GARBAGE COLLECT
604.27/605.95 c #Conflicts: 313000 | #Constraints: 41637
604.27/605.95 c #Conflicts: 314000 | #Constraints: 42637
604.27/605.95 c #Conflicts: 315000 | #Constraints: 43637
604.27/605.95 c #Conflicts: 316000 | #Constraints: 44637
604.27/605.95 c #Conflicts: 317000 | #Constraints: 45637
604.27/605.95 c #Conflicts: 318000 | #Constraints: 46637
604.27/605.95 c #Conflicts: 319000 | #Constraints: 47637
604.27/605.95 c #Conflicts: 320000 | #Constraints: 48637
604.27/605.95 c #Conflicts: 321000 | #Constraints: 49637
604.27/605.95 c #Conflicts: 322000 | #Constraints: 50637
604.27/605.95 c #Conflicts: 323000 | #Constraints: 51637
604.27/605.95 c #Conflicts: 324000 | #Constraints: 52637
604.27/605.95 c #Conflicts: 325000 | #Constraints: 53637
783.22/785.45 c #Conflicts: 326000 | #Constraints: 54637
783.22/785.45 c #Conflicts: 327000 | #Constraints: 55637
783.22/785.45 c #Conflicts: 328000 | #Constraints: 56637
783.22/785.45 c #Conflicts: 329000 | #Constraints: 57637
783.22/785.45 c #Conflicts: 330000 | #Constraints: 58637
783.22/785.45 c #Conflicts: 331000 | #Constraints: 59637
783.22/785.45 c #Conflicts: 332000 | #Constraints: 60637
783.22/785.45 c #Conflicts: 333000 | #Constraints: 61637
783.22/785.45 c #Conflicts: 334000 | #Constraints: 62637
783.22/785.45 c #Conflicts: 335000 | #Constraints: 63637
783.22/785.45 c #Conflicts: 336000 | #Constraints: 64637
783.22/785.45 c #Conflicts: 337000 | #Constraints: 65637
783.22/785.45 c #Conflicts: 338000 | #Constraints: 66637
783.22/785.45 c #Conflicts: 339000 | #Constraints: 67637
783.22/785.45 c #Conflicts: 340000 | #Constraints: 68637
783.22/785.45 c #Conflicts: 341000 | #Constraints: 69637
783.22/785.45 c #Conflicts: 342000 | #Constraints: 70637
783.22/785.45 c #Conflicts: 343000 | #Constraints: 71637
783.22/785.45 c #Conflicts: 344000 | #Constraints: 72637
783.22/785.45 c #Conflicts: 345000 | #Constraints: 73637
783.22/785.45 c #Conflicts: 346000 | #Constraints: 74637
783.22/785.45 c #Conflicts: 347000 | #Constraints: 75637
783.22/785.45 c #Conflicts: 348000 | #Constraints: 76637
783.22/785.45 c #Conflicts: 349000 | #Constraints: 77637
783.22/785.45 c #Conflicts: 350000 | #Constraints: 78637
783.22/785.45 c #Conflicts: 351000 | #Constraints: 79637
783.22/785.45 c INPROCESSING
783.22/785.45 c GARBAGE COLLECT
783.22/785.45 c #Conflicts: 352000 | #Constraints: 50659
783.22/785.45 c #Conflicts: 353000 | #Constraints: 51659
783.22/785.45 c #Conflicts: 354000 | #Constraints: 52659
783.22/785.45 c #Conflicts: 355000 | #Constraints: 53659
783.22/785.45 c #Conflicts: 356000 | #Constraints: 54659
783.22/785.45 c #Conflicts: 357000 | #Constraints: 55659
783.22/785.45 c #Conflicts: 358000 | #Constraints: 56659
783.22/785.45 c #Conflicts: 359000 | #Constraints: 57659
783.22/785.45 c #Conflicts: 360000 | #Constraints: 58659
783.22/785.45 c #Conflicts: 361000 | #Constraints: 59659
783.22/785.45 c #Conflicts: 362000 | #Constraints: 60659
783.22/785.45 c #Conflicts: 363000 | #Constraints: 61659
783.22/785.45 c #Conflicts: 364000 | #Constraints: 62659
783.22/785.45 c #Conflicts: 365000 | #Constraints: 63659
783.22/785.45 c #Conflicts: 366000 | #Constraints: 64659
783.22/785.45 c #Conflicts: 367000 | #Constraints: 65659
783.22/785.45 c INPROCESSING
783.22/785.45 c GARBAGE COLLECT
783.22/785.45 c #Conflicts: 368000 | #Constraints: 44213
783.22/785.45 c #Conflicts: 369000 | #Constraints: 45213
783.22/785.45 c #Conflicts: 370000 | #Constraints: 46213
783.22/785.45 c #Conflicts: 371000 | #Constraints: 47213
783.22/785.45 c #Conflicts: 372000 | #Constraints: 48213
783.22/785.45 c #Conflicts: 373000 | #Constraints: 49213
783.22/785.45 c #Conflicts: 374000 | #Constraints: 50213
783.22/785.45 c #Conflicts: 375000 | #Constraints: 51213
783.22/785.45 c #Conflicts: 376000 | #Constraints: 52213
783.22/785.45 c #Conflicts: 377000 | #Constraints: 53213
783.22/785.45 c #Conflicts: 378000 | #Constraints: 54213
783.22/785.45 c #Conflicts: 379000 | #Constraints: 55213
783.22/785.45 c #Conflicts: 380000 | #Constraints: 56213
783.22/785.45 c #Conflicts: 381000 | #Constraints: 57213
783.22/785.45 c #Conflicts: 382000 | #Constraints: 58213
783.22/785.45 c #Conflicts: 383000 | #Constraints: 59213
783.22/785.45 c #Conflicts: 384000 | #Constraints: 60213
783.22/785.45 c #Conflicts: 385000 | #Constraints: 61213
783.22/785.45 c #Conflicts: 386000 | #Constraints: 62213
783.22/785.45 c #Conflicts: 387000 | #Constraints: 63213
783.22/785.45 c #Conflicts: 388000 | #Constraints: 64213
783.22/785.45 c #Conflicts: 389000 | #Constraints: 65213
783.22/785.45 c #Conflicts: 390000 | #Constraints: 66213
783.22/785.45 c #Conflicts: 391000 | #Constraints: 67213
783.22/785.45 c #Conflicts: 392000 | #Constraints: 68213
783.22/785.45 c #Conflicts: 393000 | #Constraints: 69213
783.22/785.45 c #Conflicts: 394000 | #Constraints: 70213
783.22/785.45 c #Conflicts: 395000 | #Constraints: 71213
783.22/785.45 c #Conflicts: 396000 | #Constraints: 72213
783.22/785.45 c #Conflicts: 397000 | #Constraints: 73213
783.22/785.45 c #Conflicts: 398000 | #Constraints: 74213
783.22/785.45 c #Conflicts: 399000 | #Constraints: 75213
783.22/785.45 c #Conflicts: 400000 | #Constraints: 76213
783.22/785.45 c #Conflicts: 401000 | #Constraints: 77213
783.22/785.45 c #Conflicts: 402000 | #Constraints: 78213
783.22/785.45 c #Conflicts: 403000 | #Constraints: 79213
959.15/961.99 c #Conflicts: 404000 | #Constraints: 80213
959.15/961.99 c #Conflicts: 405000 | #Constraints: 81213
959.15/961.99 c #Conflicts: 406000 | #Constraints: 82213
959.15/961.99 c #Conflicts: 407000 | #Constraints: 83213
959.15/961.99 c #Conflicts: 408000 | #Constraints: 84213
959.15/961.99 c INPROCESSING
959.15/961.99 c GARBAGE COLLECT
959.15/961.99 c #Conflicts: 409000 | #Constraints: 52531
959.15/961.99 c #Conflicts: 410000 | #Constraints: 53531
959.15/961.99 c #Conflicts: 411000 | #Constraints: 54531
959.15/961.99 c #Conflicts: 412000 | #Constraints: 55531
959.15/961.99 c #Conflicts: 413000 | #Constraints: 56531
959.15/961.99 c #Conflicts: 414000 | #Constraints: 57531
959.15/961.99 c #Conflicts: 415000 | #Constraints: 58531
959.15/961.99 c #Conflicts: 416000 | #Constraints: 59531
959.15/961.99 c #Conflicts: 417000 | #Constraints: 60531
959.15/961.99 c #Conflicts: 418000 | #Constraints: 61531
959.15/961.99 c #Conflicts: 419000 | #Constraints: 62531
959.15/961.99 c #Conflicts: 420000 | #Constraints: 63531
959.15/961.99 c #Conflicts: 421000 | #Constraints: 64531
959.15/961.99 c #Conflicts: 422000 | #Constraints: 65531
959.15/961.99 c #Conflicts: 423000 | #Constraints: 66531
959.15/961.99 c #Conflicts: 424000 | #Constraints: 67531
959.15/961.99 c #Conflicts: 425000 | #Constraints: 68531
959.15/961.99 c #Conflicts: 426000 | #Constraints: 69531
959.15/961.99 c INPROCESSING
959.15/961.99 c GARBAGE COLLECT
959.15/961.99 c #Conflicts: 427000 | #Constraints: 46791
959.15/961.99 c #Conflicts: 428000 | #Constraints: 47791
959.15/961.99 c #Conflicts: 429000 | #Constraints: 48791
959.15/961.99 c #Conflicts: 430000 | #Constraints: 49791
959.15/961.99 c #Conflicts: 431000 | #Constraints: 50791
959.15/961.99 c #Conflicts: 432000 | #Constraints: 51791
959.15/961.99 c #Conflicts: 433000 | #Constraints: 52791
959.15/961.99 c #Conflicts: 434000 | #Constraints: 53791
959.15/961.99 c #Conflicts: 435000 | #Constraints: 54791
959.15/961.99 c #Conflicts: 436000 | #Constraints: 55791
959.15/961.99 c #Conflicts: 437000 | #Constraints: 56791
959.15/961.99 c #Conflicts: 438000 | #Constraints: 57791
959.15/961.99 c #Conflicts: 439000 | #Constraints: 58791
959.15/961.99 c #Conflicts: 440000 | #Constraints: 59791
959.15/961.99 c #Conflicts: 441000 | #Constraints: 60792
959.15/961.99 c #Conflicts: 442000 | #Constraints: 61792
959.15/961.99 c #Conflicts: 443000 | #Constraints: 62792
959.15/961.99 c #Conflicts: 444000 | #Constraints: 63792
959.15/961.99 c #Conflicts: 445000 | #Constraints: 64792
959.15/961.99 c #Conflicts: 446000 | #Constraints: 65792
959.15/961.99 c #Conflicts: 447000 | #Constraints: 66792
959.15/961.99 c #Conflicts: 448000 | #Constraints: 67792
959.15/961.99 c #Conflicts: 449000 | #Constraints: 68792
959.15/961.99 c #Conflicts: 450000 | #Constraints: 69792
959.15/961.99 c #Conflicts: 451000 | #Constraints: 70792
959.15/961.99 c #Conflicts: 452000 | #Constraints: 71792
959.15/961.99 c #Conflicts: 453000 | #Constraints: 72792
959.15/961.99 c #Conflicts: 454000 | #Constraints: 73792
959.15/961.99 c #Conflicts: 455000 | #Constraints: 74792
959.15/961.99 c #Conflicts: 456000 | #Constraints: 75792
959.15/961.99 c #Conflicts: 457000 | #Constraints: 76792
959.15/961.99 c #Conflicts: 458000 | #Constraints: 77792
959.15/961.99 c #Conflicts: 459000 | #Constraints: 78792
959.15/961.99 c #Conflicts: 460000 | #Constraints: 79792
959.15/961.99 c #Conflicts: 461000 | #Constraints: 80792
959.15/961.99 c #Conflicts: 462000 | #Constraints: 81792
959.15/961.99 c #Conflicts: 463000 | #Constraints: 82792
959.15/961.99 c #Conflicts: 464000 | #Constraints: 83792
959.15/961.99 c #Conflicts: 465000 | #Constraints: 84792
959.15/961.99 c #Conflicts: 466000 | #Constraints: 85792
959.15/961.99 c #Conflicts: 467000 | #Constraints: 86792
959.15/961.99 c #Conflicts: 468000 | #Constraints: 87792
959.15/961.99 c #Conflicts: 469000 | #Constraints: 88792
959.15/961.99 c #Conflicts: 470000 | #Constraints: 89792
959.15/961.99 c #Conflicts: 471000 | #Constraints: 90792
959.15/961.99 c INPROCESSING
959.15/961.99 c GARBAGE COLLECT
959.15/961.99 c #Conflicts: 472000 | #Constraints: 56229
959.15/961.99 c #Conflicts: 473000 | #Constraints: 57229
959.15/961.99 c #Conflicts: 474000 | #Constraints: 58229
959.15/961.99 c #Conflicts: 475000 | #Constraints: 59229
959.15/961.99 c #Conflicts: 476000 | #Constraints: 60229
959.15/961.99 c #Conflicts: 477000 | #Constraints: 61229
959.15/961.99 c #Conflicts: 478000 | #Constraints: 62229
959.15/961.99 c #Conflicts: 479000 | #Constraints: 63229
959.15/961.99 c #Conflicts: 480000 | #Constraints: 64229
1134.59/1137.85 c #Conflicts: 481000 | #Constraints: 65229
1134.59/1137.85 c #Conflicts: 482000 | #Constraints: 66229
1134.59/1137.85 c #Conflicts: 483000 | #Constraints: 67229
1134.59/1137.85 c #Conflicts: 484000 | #Constraints: 68229
1134.59/1137.85 c #Conflicts: 485000 | #Constraints: 69229
1134.59/1137.85 c #Conflicts: 486000 | #Constraints: 70229
1134.59/1137.85 c #Conflicts: 487000 | #Constraints: 71229
1134.59/1137.85 c #Conflicts: 488000 | #Constraints: 72229
1134.59/1137.85 c #Conflicts: 489000 | #Constraints: 73229
1134.59/1137.85 c INPROCESSING
1134.59/1137.85 c GARBAGE COLLECT
1134.59/1137.85 c #Conflicts: 490000 | #Constraints: 48267
1134.59/1137.85 c #Conflicts: 491000 | #Constraints: 49267
1134.59/1137.85 c #Conflicts: 492000 | #Constraints: 50267
1134.59/1137.85 c #Conflicts: 493000 | #Constraints: 51267
1134.59/1137.85 c #Conflicts: 494000 | #Constraints: 52267
1134.59/1137.85 c #Conflicts: 495000 | #Constraints: 53267
1134.59/1137.85 c #Conflicts: 496000 | #Constraints: 54267
1134.59/1137.85 c #Conflicts: 497000 | #Constraints: 55267
1134.59/1137.85 c #Conflicts: 498000 | #Constraints: 56267
1134.59/1137.85 c #Conflicts: 499000 | #Constraints: 57267
1134.59/1137.85 c #Conflicts: 500000 | #Constraints: 58267
1134.59/1137.85 c #Conflicts: 501000 | #Constraints: 59267
1134.59/1137.85 c #Conflicts: 502000 | #Constraints: 60267
1134.59/1137.85 c #Conflicts: 503000 | #Constraints: 61267
1134.59/1137.85 c #Conflicts: 504000 | #Constraints: 62267
1134.59/1137.85 c #Conflicts: 505000 | #Constraints: 63267
1134.59/1137.85 c #Conflicts: 506000 | #Constraints: 64267
1134.59/1137.85 c #Conflicts: 507000 | #Constraints: 65267
1134.59/1137.85 c #Conflicts: 508000 | #Constraints: 66267
1134.59/1137.85 c #Conflicts: 509000 | #Constraints: 67267
1134.59/1137.85 c #Conflicts: 510000 | #Constraints: 68267
1134.59/1137.85 c #Conflicts: 511000 | #Constraints: 69267
1134.59/1137.85 c #Conflicts: 512000 | #Constraints: 70267
1134.59/1137.85 c #Conflicts: 513000 | #Constraints: 71267
1134.59/1137.85 c #Conflicts: 514000 | #Constraints: 72267
1134.59/1137.85 c #Conflicts: 515000 | #Constraints: 73267
1134.59/1137.85 c #Conflicts: 516000 | #Constraints: 74267
1134.59/1137.85 c #Conflicts: 517000 | #Constraints: 75267
1134.59/1137.85 c #Conflicts: 518000 | #Constraints: 76267
1134.59/1137.85 c #Conflicts: 519000 | #Constraints: 77267
1134.59/1137.85 c #Conflicts: 520000 | #Constraints: 78267
1134.59/1137.85 c #Conflicts: 521000 | #Constraints: 79267
1134.59/1137.85 c #Conflicts: 522000 | #Constraints: 80267
1134.59/1137.85 c #Conflicts: 523000 | #Constraints: 81267
1134.59/1137.85 c #Conflicts: 524000 | #Constraints: 82267
1134.59/1137.85 c #Conflicts: 525000 | #Constraints: 83267
1134.59/1137.85 c #Conflicts: 526000 | #Constraints: 84267
1134.59/1137.85 c #Conflicts: 527000 | #Constraints: 85267
1134.59/1137.85 c #Conflicts: 528000 | #Constraints: 86267
1134.59/1137.85 c #Conflicts: 529000 | #Constraints: 87267
1134.59/1137.85 c #Conflicts: 530000 | #Constraints: 88267
1134.59/1137.85 c #Conflicts: 531000 | #Constraints: 89267
1134.59/1137.85 c #Conflicts: 532000 | #Constraints: 90267
1134.59/1137.85 c #Conflicts: 533000 | #Constraints: 91267
1134.59/1137.85 c #Conflicts: 534000 | #Constraints: 92267
1134.59/1137.85 c #Conflicts: 535000 | #Constraints: 93267
1134.59/1137.85 c #Conflicts: 536000 | #Constraints: 94267
1134.59/1137.85 c #Conflicts: 537000 | #Constraints: 95267
1134.59/1137.85 c INPROCESSING
1134.59/1137.85 c GARBAGE COLLECT
1134.59/1137.85 c #Conflicts: 538000 | #Constraints: 58284
1134.59/1137.85 c #Conflicts: 539000 | #Constraints: 59284
1134.59/1137.85 c #Conflicts: 540000 | #Constraints: 60284
1134.59/1137.85 c #Conflicts: 541000 | #Constraints: 61284
1134.59/1137.85 c #Conflicts: 542000 | #Constraints: 62284
1134.59/1137.85 c #Conflicts: 543000 | #Constraints: 63284
1134.59/1137.85 c #Conflicts: 544000 | #Constraints: 64284
1134.59/1137.85 c #Conflicts: 545000 | #Constraints: 65284
1134.59/1137.85 c #Conflicts: 546000 | #Constraints: 66284
1134.59/1137.85 c #Conflicts: 547000 | #Constraints: 67284
1134.59/1137.85 c #Conflicts: 548000 | #Constraints: 68284
1134.59/1137.85 c #Conflicts: 549000 | #Constraints: 69284
1134.59/1137.85 c #Conflicts: 550000 | #Constraints: 70284
1134.59/1137.85 c #Conflicts: 551000 | #Constraints: 71284
1134.59/1137.85 c #Conflicts: 552000 | #Constraints: 72284
1134.59/1137.85 c #Conflicts: 553000 | #Constraints: 73284
1134.59/1137.85 c #Conflicts: 554000 | #Constraints: 74284
1134.59/1137.85 c #Conflicts: 555000 | #Constraints: 75284
1134.59/1137.85 c #Conflicts: 556000 | #Constraints: 76284
1134.59/1137.85 c #Conflicts: 557000 | #Constraints: 77284
1311.14/1314.83 c INPROCESSING
1311.14/1314.83 c GARBAGE COLLECT
1311.14/1314.83 c #Conflicts: 558000 | #Constraints: 50919
1311.14/1314.83 c #Conflicts: 559000 | #Constraints: 51919
1311.14/1314.83 c #Conflicts: 560000 | #Constraints: 52919
1311.14/1314.83 c #Conflicts: 561000 | #Constraints: 53919
1311.14/1314.83 c #Conflicts: 562000 | #Constraints: 54919
1311.14/1314.83 c #Conflicts: 563000 | #Constraints: 55919
1311.14/1314.83 c #Conflicts: 564000 | #Constraints: 56919
1311.14/1314.83 c #Conflicts: 565000 | #Constraints: 57919
1311.14/1314.83 c #Conflicts: 566000 | #Constraints: 58919
1311.14/1314.83 c #Conflicts: 567000 | #Constraints: 59919
1311.14/1314.83 c #Conflicts: 568000 | #Constraints: 60919
1311.14/1314.83 c #Conflicts: 569000 | #Constraints: 61919
1311.14/1314.83 c #Conflicts: 570000 | #Constraints: 62919
1311.14/1314.83 c #Conflicts: 571000 | #Constraints: 63919
1311.14/1314.83 c #Conflicts: 572000 | #Constraints: 64919
1311.14/1314.83 c #Conflicts: 573000 | #Constraints: 65919
1311.14/1314.83 c #Conflicts: 574000 | #Constraints: 66919
1311.14/1314.83 c #Conflicts: 575000 | #Constraints: 67919
1311.14/1314.83 c #Conflicts: 576000 | #Constraints: 68919
1311.14/1314.83 c #Conflicts: 577000 | #Constraints: 69919
1311.14/1314.83 c #Conflicts: 578000 | #Constraints: 70919
1311.14/1314.83 c #Conflicts: 579000 | #Constraints: 71919
1311.14/1314.83 c #Conflicts: 580000 | #Constraints: 72919
1311.14/1314.83 c #Conflicts: 581000 | #Constraints: 73919
1311.14/1314.83 c #Conflicts: 582000 | #Constraints: 74919
1311.14/1314.83 c #Conflicts: 583000 | #Constraints: 75919
1311.14/1314.83 c #Conflicts: 584000 | #Constraints: 76919
1311.14/1314.83 c #Conflicts: 585000 | #Constraints: 77919
1311.14/1314.83 c #Conflicts: 586000 | #Constraints: 78919
1311.14/1314.83 c #Conflicts: 587000 | #Constraints: 79919
1311.14/1314.83 c #Conflicts: 588000 | #Constraints: 80919
1311.14/1314.83 c #Conflicts: 589000 | #Constraints: 81920
1311.14/1314.83 c #Conflicts: 590000 | #Constraints: 82920
1311.14/1314.83 c #Conflicts: 591000 | #Constraints: 83920
1311.14/1314.83 c #Conflicts: 592000 | #Constraints: 84920
1311.14/1314.83 c #Conflicts: 593000 | #Constraints: 85920
1311.14/1314.83 c #Conflicts: 594000 | #Constraints: 86920
1311.14/1314.83 c #Conflicts: 595000 | #Constraints: 87920
1311.14/1314.83 c #Conflicts: 596000 | #Constraints: 88920
1311.14/1314.83 c #Conflicts: 597000 | #Constraints: 89920
1311.14/1314.83 c #Conflicts: 598000 | #Constraints: 90920
1311.14/1314.83 c #Conflicts: 599000 | #Constraints: 91920
1311.14/1314.83 c #Conflicts: 600000 | #Constraints: 92920
1311.14/1314.83 c #Conflicts: 601000 | #Constraints: 93920
1311.14/1314.83 c #Conflicts: 602000 | #Constraints: 94920
1311.14/1314.83 c #Conflicts: 603000 | #Constraints: 95920
1311.14/1314.83 c #Conflicts: 604000 | #Constraints: 96920
1311.14/1314.83 c #Conflicts: 605000 | #Constraints: 97920
1311.14/1314.83 c #Conflicts: 606000 | #Constraints: 98920
1311.14/1314.83 c #Conflicts: 607000 | #Constraints: 99920
1311.14/1314.83 c #Conflicts: 608000 | #Constraints: 100920
1311.14/1314.83 c INPROCESSING
1311.14/1314.83 c GARBAGE COLLECT
1311.14/1314.83 c #Conflicts: 609000 | #Constraints: 61175
1311.14/1314.83 c #Conflicts: 610000 | #Constraints: 62175
1311.14/1314.83 c #Conflicts: 611000 | #Constraints: 63175
1311.14/1314.83 c #Conflicts: 612000 | #Constraints: 64175
1311.14/1314.83 c #Conflicts: 613000 | #Constraints: 65175
1311.14/1314.83 c #Conflicts: 614000 | #Constraints: 66175
1311.14/1314.83 c #Conflicts: 615000 | #Constraints: 67175
1311.14/1314.83 c #Conflicts: 616000 | #Constraints: 68175
1311.14/1314.83 c #Conflicts: 617000 | #Constraints: 69175
1311.14/1314.83 c #Conflicts: 618000 | #Constraints: 70175
1311.14/1314.83 c #Conflicts: 619000 | #Constraints: 71175
1311.14/1314.83 c #Conflicts: 620000 | #Constraints: 72175
1311.14/1314.83 c #Conflicts: 621000 | #Constraints: 73175
1311.14/1314.83 c #Conflicts: 622000 | #Constraints: 74175
1311.14/1314.83 c #Conflicts: 623000 | #Constraints: 75175
1311.14/1314.83 c #Conflicts: 624000 | #Constraints: 76175
1311.14/1314.83 c #Conflicts: 625000 | #Constraints: 77175
1311.14/1314.83 c #Conflicts: 626000 | #Constraints: 78175
1311.14/1314.83 c #Conflicts: 627000 | #Constraints: 79175
1311.14/1314.83 c #Conflicts: 628000 | #Constraints: 80175
1311.14/1314.83 c #Conflicts: 629000 | #Constraints: 81175
1311.14/1314.83 c #Conflicts: 630000 | #Constraints: 82175
1311.14/1314.83 c INPROCESSING
1311.14/1314.83 c GARBAGE COLLECT
1311.14/1314.83 c #Conflicts: 631000 | #Constraints: 53886
1311.14/1314.83 c #Conflicts: 632000 | #Constraints: 54886
1311.14/1314.83 c #Conflicts: 633000 | #Constraints: 55886
1311.14/1314.83 c #Conflicts: 634000 | #Constraints: 56886
1568.42/1572.75 c #Conflicts: 635000 | #Constraints: 57886
1568.42/1572.75 c #Conflicts: 636000 | #Constraints: 58886
1568.42/1572.75 c #Conflicts: 637000 | #Constraints: 59886
1568.42/1572.75 c #Conflicts: 638000 | #Constraints: 60886
1568.42/1572.75 c #Conflicts: 639000 | #Constraints: 61886
1568.42/1572.75 c #Conflicts: 640000 | #Constraints: 62886
1568.42/1572.75 c #Conflicts: 641000 | #Constraints: 63886
1568.42/1572.75 c #Conflicts: 642000 | #Constraints: 64886
1568.42/1572.75 c #Conflicts: 643000 | #Constraints: 65886
1568.42/1572.75 c #Conflicts: 644000 | #Constraints: 66886
1568.42/1572.75 c #Conflicts: 645000 | #Constraints: 67886
1568.42/1572.75 c #Conflicts: 646000 | #Constraints: 68886
1568.42/1572.75 c #Conflicts: 647000 | #Constraints: 69886
1568.42/1572.75 c #Conflicts: 648000 | #Constraints: 70886
1568.42/1572.75 c #Conflicts: 649000 | #Constraints: 71886
1568.42/1572.75 c #Conflicts: 650000 | #Constraints: 72886
1568.42/1572.75 c #Conflicts: 651000 | #Constraints: 73886
1568.42/1572.75 c #Conflicts: 652000 | #Constraints: 74886
1568.42/1572.75 c #Conflicts: 653000 | #Constraints: 75886
1568.42/1572.75 c #Conflicts: 654000 | #Constraints: 76886
1568.42/1572.75 c #Conflicts: 655000 | #Constraints: 77886
1568.42/1572.75 c #Conflicts: 656000 | #Constraints: 78886
1568.42/1572.75 c #Conflicts: 657000 | #Constraints: 79886
1568.42/1572.75 c #Conflicts: 658000 | #Constraints: 80886
1568.42/1572.75 c #Conflicts: 659000 | #Constraints: 81886
1568.42/1572.75 c #Conflicts: 660000 | #Constraints: 82886
1568.42/1572.75 c #Conflicts: 661000 | #Constraints: 83886
1568.42/1572.75 c #Conflicts: 662000 | #Constraints: 84886
1568.42/1572.75 c #Conflicts: 663000 | #Constraints: 85886
1568.42/1572.75 c #Conflicts: 664000 | #Constraints: 86886
1568.42/1572.75 c #Conflicts: 665000 | #Constraints: 87886
1568.42/1572.75 c #Conflicts: 666000 | #Constraints: 88886
1568.42/1572.75 c #Conflicts: 667000 | #Constraints: 89886
1568.42/1572.75 c #Conflicts: 668000 | #Constraints: 90886
1568.42/1572.75 c #Conflicts: 669000 | #Constraints: 91886
1568.42/1572.75 c #Conflicts: 670000 | #Constraints: 92886
1568.42/1572.75 c #Conflicts: 671000 | #Constraints: 93886
1568.42/1572.75 c #Conflicts: 672000 | #Constraints: 94886
1568.42/1572.75 c #Conflicts: 673000 | #Constraints: 95886
1568.42/1572.75 c #Conflicts: 674000 | #Constraints: 96886
1568.42/1572.75 c #Conflicts: 675000 | #Constraints: 97886
1568.42/1572.75 c #Conflicts: 676000 | #Constraints: 98886
1568.42/1572.75 c #Conflicts: 677000 | #Constraints: 99886
1568.42/1572.75 c #Conflicts: 678000 | #Constraints: 100886
1568.42/1572.75 c #Conflicts: 679000 | #Constraints: 101886
1568.42/1572.75 c #Conflicts: 680000 | #Constraints: 102886
1568.42/1572.75 c #Conflicts: 681000 | #Constraints: 103886
1568.42/1572.75 c #Conflicts: 682000 | #Constraints: 104886
1568.42/1572.75 c #Conflicts: 683000 | #Constraints: 105886
1568.42/1572.75 c #Conflicts: 684000 | #Constraints: 106886
1568.42/1572.75 c INPROCESSING
1568.42/1572.75 c GARBAGE COLLECT
1568.42/1572.75 c #Conflicts: 685000 | #Constraints: 64487
1568.42/1572.75 c #Conflicts: 686000 | #Constraints: 65487
1568.42/1572.75 c #Conflicts: 687000 | #Constraints: 66487
1568.42/1572.75 c #Conflicts: 688000 | #Constraints: 67487
1568.42/1572.75 c #Conflicts: 689000 | #Constraints: 68487
1568.42/1572.75 c #Conflicts: 690000 | #Constraints: 69487
1568.42/1572.75 c #Conflicts: 691000 | #Constraints: 70487
1568.42/1572.75 c #Conflicts: 692000 | #Constraints: 71487
1568.42/1572.75 c #Conflicts: 693000 | #Constraints: 72487
1568.42/1572.75 c #Conflicts: 694000 | #Constraints: 73487
1568.42/1572.75 c #Conflicts: 695000 | #Constraints: 74487
1568.42/1572.75 c #Conflicts: 696000 | #Constraints: 75487
1568.42/1572.75 c #Conflicts: 697000 | #Constraints: 76487
1568.42/1572.75 c #Conflicts: 698000 | #Constraints: 77487
1568.42/1572.75 c #Conflicts: 699000 | #Constraints: 78487
1568.42/1572.75 c #Conflicts: 700000 | #Constraints: 79487
1568.42/1572.75 c #Conflicts: 701000 | #Constraints: 80487
1568.42/1572.75 c #Conflicts: 702000 | #Constraints: 81487
1568.42/1572.75 c #Conflicts: 703000 | #Constraints: 82487
1568.42/1572.75 c #Conflicts: 704000 | #Constraints: 83487
1568.42/1572.75 c #Conflicts: 705000 | #Constraints: 84487
1568.42/1572.75 c #Conflicts: 706000 | #Constraints: 85487
1568.42/1572.75 c INPROCESSING
1568.42/1572.75 c GARBAGE COLLECT
1568.42/1572.75 c #Conflicts: 707000 | #Constraints: 55769
1568.42/1572.75 c #Conflicts: 708000 | #Constraints: 56769
1568.42/1572.75 c #Conflicts: 709000 | #Constraints: 57769
1568.42/1572.75 c #Conflicts: 710000 | #Constraints: 58769
1568.42/1572.75 c #Conflicts: 711000 | #Constraints: 59769
1568.42/1572.75 c #Conflicts: 712000 | #Constraints: 60769
1791.77/1796.68 c #Conflicts: 713000 | #Constraints: 61769
1791.77/1796.68 c #Conflicts: 714000 | #Constraints: 62769
1791.77/1796.68 c #Conflicts: 715000 | #Constraints: 63769
1791.77/1796.68 c #Conflicts: 716000 | #Constraints: 64769
1791.77/1796.68 c #Conflicts: 717000 | #Constraints: 65769
1791.77/1796.68 c #Conflicts: 718000 | #Constraints: 66769
1791.77/1796.68 c #Conflicts: 719000 | #Constraints: 67769
1791.77/1796.68 c #Conflicts: 720000 | #Constraints: 68769
1791.77/1796.68 c #Conflicts: 721000 | #Constraints: 69769
1791.77/1796.68 c #Conflicts: 722000 | #Constraints: 70769
1791.77/1796.68 c #Conflicts: 723000 | #Constraints: 71770
1791.77/1796.68 c #Conflicts: 724000 | #Constraints: 72770
1791.77/1796.68 c #Conflicts: 725000 | #Constraints: 73770
1791.77/1796.68 c #Conflicts: 726000 | #Constraints: 74770
1791.77/1796.68 c #Conflicts: 727000 | #Constraints: 75770
1791.77/1796.68 c #Conflicts: 728000 | #Constraints: 76770
1791.77/1796.68 c #Conflicts: 729000 | #Constraints: 77770
1791.77/1796.68 c #Conflicts: 730000 | #Constraints: 78770
1791.77/1796.68 c #Conflicts: 731000 | #Constraints: 79770
1791.77/1796.68 c #Conflicts: 732000 | #Constraints: 80770
1791.77/1796.68 c #Conflicts: 733000 | #Constraints: 81770
1791.77/1796.68 c #Conflicts: 734000 | #Constraints: 82770
1791.77/1796.68 c #Conflicts: 735000 | #Constraints: 83770
1791.77/1796.68 c #Conflicts: 736000 | #Constraints: 84770
1791.77/1796.68 c #Conflicts: 737000 | #Constraints: 85770
1791.77/1796.68 c #Conflicts: 738000 | #Constraints: 86770
1791.77/1796.68 c #Conflicts: 739000 | #Constraints: 87770
1791.77/1796.68 c #Conflicts: 740000 | #Constraints: 88770
1791.77/1796.68 c #Conflicts: 741000 | #Constraints: 89770
1791.77/1796.68 c #Conflicts: 742000 | #Constraints: 90770
1791.77/1796.68 c #Conflicts: 743000 | #Constraints: 91770
1791.77/1796.68 c #Conflicts: 744000 | #Constraints: 92770
1791.77/1796.68 c #Conflicts: 745000 | #Constraints: 93770
1791.77/1796.68 c #Conflicts: 746000 | #Constraints: 94770
1791.77/1796.68 c #Conflicts: 747000 | #Constraints: 95770
1791.77/1796.68 c #Conflicts: 748000 | #Constraints: 96770
1791.77/1796.68 c #Conflicts: 749000 | #Constraints: 97770
1791.77/1796.68 c #Conflicts: 750000 | #Constraints: 98770
1791.77/1796.68 c #Conflicts: 751000 | #Constraints: 99770
1791.77/1796.68 c #Conflicts: 752000 | #Constraints: 100770
1791.77/1796.68 c #Conflicts: 753000 | #Constraints: 101770
1791.77/1796.68 c #Conflicts: 754000 | #Constraints: 102770
1791.77/1796.68 c #Conflicts: 755000 | #Constraints: 103770
1791.77/1796.68 c #Conflicts: 756000 | #Constraints: 104770
1791.77/1796.68 c #Conflicts: 757000 | #Constraints: 105770
1791.77/1796.68 c #Conflicts: 758000 | #Constraints: 106770
1791.77/1796.68 c #Conflicts: 759000 | #Constraints: 107770
1791.77/1796.68 c #Conflicts: 760000 | #Constraints: 108770
1791.77/1796.68 c #Conflicts: 761000 | #Constraints: 109770
1791.77/1796.68 c #Conflicts: 762000 | #Constraints: 110770
1791.77/1796.68 c #Conflicts: 763000 | #Constraints: 111770
1791.77/1796.68 c INPROCESSING
1791.77/1796.68 c GARBAGE COLLECT
1791.77/1796.68 c #Conflicts: 764000 | #Constraints: 66463
1791.77/1796.68 c #Conflicts: 765000 | #Constraints: 67463
1791.77/1796.68 c #Conflicts: 766000 | #Constraints: 68463
1791.77/1796.68 c #Conflicts: 767000 | #Constraints: 69463
1791.77/1796.68 c #Conflicts: 768000 | #Constraints: 70463
1791.77/1796.68 c #Conflicts: 769000 | #Constraints: 71463
1791.77/1796.68 c #Conflicts: 770000 | #Constraints: 72463
1791.77/1796.68 c #Conflicts: 771000 | #Constraints: 73463
1791.77/1796.68 c #Conflicts: 772000 | #Constraints: 74463
1791.77/1796.68 c #Conflicts: 773000 | #Constraints: 75463
1791.77/1796.68 c #Conflicts: 774000 | #Constraints: 76463
1791.77/1796.68 c #Conflicts: 775000 | #Constraints: 77463
1791.77/1796.68 c #Conflicts: 776000 | #Constraints: 78463
1791.77/1796.68 c #Conflicts: 777000 | #Constraints: 79463
1791.77/1796.68 c #Conflicts: 778000 | #Constraints: 80463
1791.77/1796.68 c #Conflicts: 779000 | #Constraints: 81463
1791.77/1796.68 c #Conflicts: 780000 | #Constraints: 82463
1791.77/1796.68 c #Conflicts: 781000 | #Constraints: 83463
1791.77/1796.68 c #Conflicts: 782000 | #Constraints: 84463
1791.77/1796.68 c #Conflicts: 783000 | #Constraints: 85463
1791.77/1796.68 c #Conflicts: 784000 | #Constraints: 86463
1791.77/1796.68 c #Conflicts: 785000 | #Constraints: 87463
1791.77/1796.68 c #Conflicts: 786000 | #Constraints: 88463
1791.77/1796.68 c #Conflicts: 787000 | #Constraints: 89463
1791.77/1796.68 c INPROCESSING
1791.77/1796.68 c GARBAGE COLLECT
1791.77/1796.68 c #Conflicts: 788000 | #Constraints: 57838
1791.77/1796.68 c #Conflicts: 789000 | #Constraints: 58838
1984.31/1989.60 c #Conflicts: 790000 | #Constraints: 59838
1984.31/1989.60 c #Conflicts: 791000 | #Constraints: 60838
1984.31/1989.60 c #Conflicts: 792000 | #Constraints: 61838
1984.31/1989.60 c #Conflicts: 793000 | #Constraints: 62838
1984.31/1989.60 c #Conflicts: 794000 | #Constraints: 63838
1984.31/1989.60 c #Conflicts: 795000 | #Constraints: 64838
1984.31/1989.60 c #Conflicts: 796000 | #Constraints: 65838
1984.31/1989.60 c #Conflicts: 797000 | #Constraints: 66838
1984.31/1989.60 c #Conflicts: 798000 | #Constraints: 67838
1984.31/1989.60 c #Conflicts: 799000 | #Constraints: 68838
1984.31/1989.60 c #Conflicts: 800000 | #Constraints: 69838
1984.31/1989.60 c #Conflicts: 801000 | #Constraints: 70838
1984.31/1989.60 c #Conflicts: 802000 | #Constraints: 71838
1984.31/1989.60 c #Conflicts: 803000 | #Constraints: 72838
1984.31/1989.60 c #Conflicts: 804000 | #Constraints: 73838
1984.31/1989.60 c #Conflicts: 805000 | #Constraints: 74838
1984.31/1989.60 c #Conflicts: 806000 | #Constraints: 75838
1984.31/1989.60 c #Conflicts: 807000 | #Constraints: 76838
1984.31/1989.60 c #Conflicts: 808000 | #Constraints: 77838
1984.31/1989.60 c #Conflicts: 809000 | #Constraints: 78838
1984.31/1989.60 c #Conflicts: 810000 | #Constraints: 79838
1984.31/1989.60 c #Conflicts: 811000 | #Constraints: 80838
1984.31/1989.60 c #Conflicts: 812000 | #Constraints: 81838
1984.31/1989.60 c #Conflicts: 813000 | #Constraints: 82838
1984.31/1989.60 c #Conflicts: 814000 | #Constraints: 83838
1984.31/1989.60 c #Conflicts: 815000 | #Constraints: 84838
1984.31/1989.60 c #Conflicts: 816000 | #Constraints: 85838
1984.31/1989.60 c #Conflicts: 817000 | #Constraints: 86838
1984.31/1989.60 c #Conflicts: 818000 | #Constraints: 87838
1984.31/1989.60 c #Conflicts: 819000 | #Constraints: 88838
1984.31/1989.60 c #Conflicts: 820000 | #Constraints: 89838
1984.31/1989.60 c #Conflicts: 821000 | #Constraints: 90838
1984.31/1989.60 c #Conflicts: 822000 | #Constraints: 91838
1984.31/1989.60 c #Conflicts: 823000 | #Constraints: 92838
1984.31/1989.60 c #Conflicts: 824000 | #Constraints: 93838
1984.31/1989.60 c #Conflicts: 825000 | #Constraints: 94838
1984.31/1989.60 c #Conflicts: 826000 | #Constraints: 95838
1984.31/1989.60 c #Conflicts: 827000 | #Constraints: 96838
1984.31/1989.60 c #Conflicts: 828000 | #Constraints: 97838
1984.31/1989.60 c #Conflicts: 829000 | #Constraints: 98838
1984.31/1989.60 c #Conflicts: 830000 | #Constraints: 99838
1984.31/1989.60 c #Conflicts: 831000 | #Constraints: 100838
1984.31/1989.60 c #Conflicts: 832000 | #Constraints: 101838
1984.31/1989.60 c #Conflicts: 833000 | #Constraints: 102838
1984.31/1989.60 c #Conflicts: 834000 | #Constraints: 103838
1984.31/1989.60 c #Conflicts: 835000 | #Constraints: 104838
1984.31/1989.60 c #Conflicts: 836000 | #Constraints: 105838
1984.31/1989.60 c #Conflicts: 837000 | #Constraints: 106838
1984.31/1989.60 c #Conflicts: 838000 | #Constraints: 107838
1984.31/1989.60 c #Conflicts: 839000 | #Constraints: 108838
1984.31/1989.60 c #Conflicts: 840000 | #Constraints: 109838
1984.31/1989.60 c #Conflicts: 841000 | #Constraints: 110838
1984.31/1989.60 c #Conflicts: 842000 | #Constraints: 111838
1984.31/1989.60 c #Conflicts: 843000 | #Constraints: 112838
1984.31/1989.60 c #Conflicts: 844000 | #Constraints: 113838
1984.31/1989.60 c #Conflicts: 845000 | #Constraints: 114838
1984.31/1989.60 c #Conflicts: 846000 | #Constraints: 115838
1984.31/1989.60 c #Conflicts: 847000 | #Constraints: 116838
1984.31/1989.60 c #Conflicts: 848000 | #Constraints: 117838
1984.31/1989.60 c INPROCESSING
1984.31/1989.60 c GARBAGE COLLECT
1984.31/1989.60 c #Conflicts: 849000 | #Constraints: 69917
1984.31/1989.60 c #Conflicts: 850000 | #Constraints: 70917
1984.31/1989.60 c #Conflicts: 851000 | #Constraints: 71917
1984.31/1989.60 c #Conflicts: 852000 | #Constraints: 72917
1984.31/1989.60 c #Conflicts: 853000 | #Constraints: 73917
1984.31/1989.60 c #Conflicts: 854000 | #Constraints: 74917
1984.31/1989.60 c #Conflicts: 855000 | #Constraints: 75917
1984.31/1989.60 c #Conflicts: 856000 | #Constraints: 76917
1984.31/1989.60 c #Conflicts: 857000 | #Constraints: 77917
1984.31/1989.60 c #Conflicts: 858000 | #Constraints: 78917
1984.31/1989.60 c #Conflicts: 859000 | #Constraints: 79917
1984.31/1989.60 c #Conflicts: 860000 | #Constraints: 80917
1984.31/1989.60 c #Conflicts: 861000 | #Constraints: 81917
1984.31/1989.60 c #Conflicts: 862000 | #Constraints: 82917
1984.31/1989.60 c #Conflicts: 863000 | #Constraints: 83917
1984.31/1989.60 c #Conflicts: 864000 | #Constraints: 84917
1984.31/1989.60 c #Conflicts: 865000 | #Constraints: 85917
1984.31/1989.60 c #Conflicts: 866000 | #Constraints: 86917
1984.31/1989.60 c #Conflicts: 867000 | #Constraints: 87917
2211.18/2217.03 c #Conflicts: 868000 | #Constraints: 88917
2211.18/2217.03 c #Conflicts: 869000 | #Constraints: 89917
2211.18/2217.03 c #Conflicts: 870000 | #Constraints: 90917
2211.18/2217.03 c #Conflicts: 871000 | #Constraints: 91917
2211.18/2217.03 c #Conflicts: 872000 | #Constraints: 92917
2211.18/2217.03 c #Conflicts: 873000 | #Constraints: 93917
2211.18/2217.03 c INPROCESSING
2211.18/2217.03 c GARBAGE COLLECT
2211.18/2217.03 c #Conflicts: 874000 | #Constraints: 60657
2211.18/2217.03 c #Conflicts: 875000 | #Constraints: 61657
2211.18/2217.03 c #Conflicts: 876000 | #Constraints: 62657
2211.18/2217.03 c #Conflicts: 877000 | #Constraints: 63657
2211.18/2217.03 c #Conflicts: 878000 | #Constraints: 64657
2211.18/2217.03 c #Conflicts: 879000 | #Constraints: 65657
2211.18/2217.03 c #Conflicts: 880000 | #Constraints: 66657
2211.18/2217.03 c #Conflicts: 881000 | #Constraints: 67657
2211.18/2217.03 c #Conflicts: 882000 | #Constraints: 68657
2211.18/2217.03 c #Conflicts: 883000 | #Constraints: 69657
2211.18/2217.03 c #Conflicts: 884000 | #Constraints: 70657
2211.18/2217.03 c #Conflicts: 885000 | #Constraints: 71657
2211.18/2217.03 c #Conflicts: 886000 | #Constraints: 72657
2211.18/2217.03 c #Conflicts: 887000 | #Constraints: 73657
2211.18/2217.03 c #Conflicts: 888000 | #Constraints: 74657
2211.18/2217.03 c #Conflicts: 889000 | #Constraints: 75658
2211.18/2217.03 c #Conflicts: 890000 | #Constraints: 76658
2211.18/2217.03 c #Conflicts: 891000 | #Constraints: 77658
2211.18/2217.03 c #Conflicts: 892000 | #Constraints: 78658
2211.18/2217.03 c #Conflicts: 893000 | #Constraints: 79658
2211.18/2217.03 c #Conflicts: 894000 | #Constraints: 80658
2211.18/2217.03 c #Conflicts: 895000 | #Constraints: 81658
2211.18/2217.03 c #Conflicts: 896000 | #Constraints: 82658
2211.18/2217.03 c #Conflicts: 897000 | #Constraints: 83658
2211.18/2217.03 c #Conflicts: 898000 | #Constraints: 84658
2211.18/2217.03 c #Conflicts: 899000 | #Constraints: 85658
2211.18/2217.03 c #Conflicts: 900000 | #Constraints: 86658
2211.18/2217.03 c #Conflicts: 901000 | #Constraints: 87658
2211.18/2217.03 c #Conflicts: 902000 | #Constraints: 88658
2211.18/2217.03 c #Conflicts: 903000 | #Constraints: 89658
2211.18/2217.03 c #Conflicts: 904000 | #Constraints: 90658
2211.18/2217.03 c #Conflicts: 905000 | #Constraints: 91658
2211.18/2217.03 c #Conflicts: 906000 | #Constraints: 92658
2211.18/2217.03 c #Conflicts: 907000 | #Constraints: 93658
2211.18/2217.03 c #Conflicts: 908000 | #Constraints: 94658
2211.18/2217.03 c #Conflicts: 909000 | #Constraints: 95658
2211.18/2217.03 c #Conflicts: 910000 | #Constraints: 96658
2211.18/2217.03 c #Conflicts: 911000 | #Constraints: 97658
2211.18/2217.03 c #Conflicts: 912000 | #Constraints: 98658
2211.18/2217.03 c #Conflicts: 913000 | #Constraints: 99658
2211.18/2217.03 c #Conflicts: 914000 | #Constraints: 100658
2211.18/2217.03 c #Conflicts: 915000 | #Constraints: 101658
2211.18/2217.03 c #Conflicts: 916000 | #Constraints: 102658
2211.18/2217.03 c #Conflicts: 917000 | #Constraints: 103658
2211.18/2217.03 c #Conflicts: 918000 | #Constraints: 104658
2211.18/2217.03 c #Conflicts: 919000 | #Constraints: 105658
2211.18/2217.03 c #Conflicts: 920000 | #Constraints: 106658
2211.18/2217.03 c #Conflicts: 921000 | #Constraints: 107658
2211.18/2217.03 c #Conflicts: 922000 | #Constraints: 108658
2211.18/2217.03 c #Conflicts: 923000 | #Constraints: 109658
2211.18/2217.03 c #Conflicts: 924000 | #Constraints: 110658
2211.18/2217.03 c #Conflicts: 925000 | #Constraints: 111658
2211.18/2217.03 c #Conflicts: 926000 | #Constraints: 112658
2211.18/2217.03 c #Conflicts: 927000 | #Constraints: 113658
2211.18/2217.03 c #Conflicts: 928000 | #Constraints: 114658
2211.18/2217.03 c #Conflicts: 929000 | #Constraints: 115658
2211.18/2217.03 c #Conflicts: 930000 | #Constraints: 116658
2211.18/2217.03 c #Conflicts: 931000 | #Constraints: 117658
2211.18/2217.03 c #Conflicts: 932000 | #Constraints: 118658
2211.18/2217.03 c #Conflicts: 933000 | #Constraints: 119658
2211.18/2217.03 c #Conflicts: 934000 | #Constraints: 120658
2211.18/2217.03 c #Conflicts: 935000 | #Constraints: 121658
2211.18/2217.03 c #Conflicts: 936000 | #Constraints: 122658
2211.18/2217.03 c INPROCESSING
2211.18/2217.03 c GARBAGE COLLECT
2211.18/2217.03 c #Conflicts: 937000 | #Constraints: 72156
2211.18/2217.03 c #Conflicts: 938000 | #Constraints: 73156
2211.18/2217.03 c #Conflicts: 939000 | #Constraints: 74156
2211.18/2217.03 c #Conflicts: 940000 | #Constraints: 75156
2211.18/2217.03 c #Conflicts: 941000 | #Constraints: 76156
2211.18/2217.03 c #Conflicts: 942000 | #Constraints: 77156
2211.18/2217.03 c #Conflicts: 943000 | #Constraints: 78156
2211.18/2217.03 c #Conflicts: 944000 | #Constraints: 79156
2211.18/2217.03 c #Conflicts: 945000 | #Constraints: 80156
2454.47/2461.00 c #Conflicts: 946000 | #Constraints: 81156
2454.47/2461.00 c #Conflicts: 947000 | #Constraints: 82156
2454.47/2461.00 c #Conflicts: 948000 | #Constraints: 83156
2454.47/2461.00 c #Conflicts: 949000 | #Constraints: 84156
2454.47/2461.00 c #Conflicts: 950000 | #Constraints: 85156
2454.47/2461.00 c #Conflicts: 951000 | #Constraints: 86156
2454.47/2461.00 c #Conflicts: 952000 | #Constraints: 87156
2454.47/2461.00 c #Conflicts: 953000 | #Constraints: 88156
2454.47/2461.00 c #Conflicts: 954000 | #Constraints: 89156
2454.47/2461.00 c #Conflicts: 955000 | #Constraints: 90156
2454.47/2461.00 c #Conflicts: 956000 | #Constraints: 91156
2454.47/2461.00 c #Conflicts: 957000 | #Constraints: 92156
2454.47/2461.00 c #Conflicts: 958000 | #Constraints: 93156
2454.47/2461.00 c #Conflicts: 959000 | #Constraints: 94156
2454.47/2461.00 c #Conflicts: 960000 | #Constraints: 95156
2454.47/2461.00 c #Conflicts: 961000 | #Constraints: 96156
2454.47/2461.00 c #Conflicts: 962000 | #Constraints: 97156
2454.47/2461.00 c #Conflicts: 963000 | #Constraints: 98156
2454.47/2461.00 c INPROCESSING
2454.47/2461.00 c GARBAGE COLLECT
2454.47/2461.00 c #Conflicts: 964000 | #Constraints: 62950
2454.47/2461.00 c #Conflicts: 965000 | #Constraints: 63950
2454.47/2461.00 c #Conflicts: 966000 | #Constraints: 64950
2454.47/2461.00 c #Conflicts: 967000 | #Constraints: 65950
2454.47/2461.00 c #Conflicts: 968000 | #Constraints: 66950
2454.47/2461.00 c #Conflicts: 969000 | #Constraints: 67950
2454.47/2461.00 c #Conflicts: 970000 | #Constraints: 68950
2454.47/2461.00 c #Conflicts: 971000 | #Constraints: 69950
2454.47/2461.00 c #Conflicts: 972000 | #Constraints: 70950
2454.47/2461.00 c #Conflicts: 973000 | #Constraints: 71950
2454.47/2461.00 c #Conflicts: 974000 | #Constraints: 72950
2454.47/2461.00 c #Conflicts: 975000 | #Constraints: 73950
2454.47/2461.00 c #Conflicts: 976000 | #Constraints: 74950
2454.47/2461.00 c #Conflicts: 977000 | #Constraints: 75950
2454.47/2461.00 c #Conflicts: 978000 | #Constraints: 76950
2454.47/2461.00 c #Conflicts: 979000 | #Constraints: 77950
2454.47/2461.00 c #Conflicts: 980000 | #Constraints: 78950
2454.47/2461.00 c #Conflicts: 981000 | #Constraints: 79950
2454.47/2461.00 c #Conflicts: 982000 | #Constraints: 80950
2454.47/2461.00 c #Conflicts: 983000 | #Constraints: 81950
2454.47/2461.00 c #Conflicts: 984000 | #Constraints: 82950
2454.47/2461.00 c #Conflicts: 985000 | #Constraints: 83950
2454.47/2461.00 c #Conflicts: 986000 | #Constraints: 84950
2454.47/2461.00 c #Conflicts: 987000 | #Constraints: 85950
2454.47/2461.00 c #Conflicts: 988000 | #Constraints: 86950
2454.47/2461.00 c #Conflicts: 989000 | #Constraints: 87950
2454.47/2461.00 c #Conflicts: 990000 | #Constraints: 88950
2454.47/2461.00 c #Conflicts: 991000 | #Constraints: 89950
2454.47/2461.00 c #Conflicts: 992000 | #Constraints: 90950
2454.47/2461.00 c #Conflicts: 993000 | #Constraints: 91950
2454.47/2461.00 c #Conflicts: 994000 | #Constraints: 92950
2454.47/2461.00 c #Conflicts: 995000 | #Constraints: 93950
2454.47/2461.00 c #Conflicts: 996000 | #Constraints: 94950
2454.47/2461.00 c #Conflicts: 997000 | #Constraints: 95950
2454.47/2461.00 c #Conflicts: 998000 | #Constraints: 96950
2454.47/2461.00 c #Conflicts: 999000 | #Constraints: 97950
2454.47/2461.00 c #Conflicts: 1000000 | #Constraints: 98950
2454.47/2461.00 c #Conflicts: 1001000 | #Constraints: 99950
2454.47/2461.00 c #Conflicts: 1002000 | #Constraints: 100950
2454.47/2461.00 c #Conflicts: 1003000 | #Constraints: 101950
2454.47/2461.00 c #Conflicts: 1004000 | #Constraints: 102950
2454.47/2461.00 c #Conflicts: 1005000 | #Constraints: 103950
2454.47/2461.00 c #Conflicts: 1006000 | #Constraints: 104950
2454.47/2461.00 c #Conflicts: 1007000 | #Constraints: 105950
2454.47/2461.00 c #Conflicts: 1008000 | #Constraints: 106950
2454.47/2461.00 c #Conflicts: 1009000 | #Constraints: 107950
2454.47/2461.00 c #Conflicts: 1010000 | #Constraints: 108950
2454.47/2461.00 c #Conflicts: 1011000 | #Constraints: 109950
2454.47/2461.00 c #Conflicts: 1012000 | #Constraints: 110950
2454.47/2461.00 c #Conflicts: 1013000 | #Constraints: 111950
2454.47/2461.00 c #Conflicts: 1014000 | #Constraints: 112950
2454.47/2461.00 c #Conflicts: 1015000 | #Constraints: 113950
2454.47/2461.00 c #Conflicts: 1016000 | #Constraints: 114950
2454.47/2461.00 c #Conflicts: 1017000 | #Constraints: 115950
2454.47/2461.00 c #Conflicts: 1018000 | #Constraints: 116950
2454.47/2461.00 c #Conflicts: 1019000 | #Constraints: 117950
2454.47/2461.00 c #Conflicts: 1020000 | #Constraints: 118950
2454.47/2461.00 c #Conflicts: 1021000 | #Constraints: 119950
2454.47/2461.00 c #Conflicts: 1022000 | #Constraints: 120950
2454.47/2461.00 c #Conflicts: 1023000 | #Constraints: 121950
2709.06/2716.17 c #Conflicts: 1024000 | #Constraints: 122950
2709.06/2716.17 c #Conflicts: 1025000 | #Constraints: 123950
2709.06/2716.17 c #Conflicts: 1026000 | #Constraints: 124950
2709.06/2716.17 c #Conflicts: 1027000 | #Constraints: 125950
2709.06/2716.17 c #Conflicts: 1028000 | #Constraints: 126950
2709.06/2716.17 c #Conflicts: 1029000 | #Constraints: 127950
2709.06/2716.17 c INPROCESSING
2709.06/2716.17 c GARBAGE COLLECT
2709.06/2716.17 c #Conflicts: 1030000 | #Constraints: 74787
2709.06/2716.17 c #Conflicts: 1031000 | #Constraints: 75787
2709.06/2716.17 c #Conflicts: 1032000 | #Constraints: 76787
2709.06/2716.17 c #Conflicts: 1033000 | #Constraints: 77787
2709.06/2716.17 c #Conflicts: 1034000 | #Constraints: 78787
2709.06/2716.17 c #Conflicts: 1035000 | #Constraints: 79787
2709.06/2716.17 c #Conflicts: 1036000 | #Constraints: 80787
2709.06/2716.17 c #Conflicts: 1037000 | #Constraints: 81787
2709.06/2716.17 c #Conflicts: 1038000 | #Constraints: 82787
2709.06/2716.17 c #Conflicts: 1039000 | #Constraints: 83787
2709.06/2716.17 c #Conflicts: 1040000 | #Constraints: 84787
2709.06/2716.17 c #Conflicts: 1041000 | #Constraints: 85787
2709.06/2716.17 c #Conflicts: 1042000 | #Constraints: 86787
2709.06/2716.17 c #Conflicts: 1043000 | #Constraints: 87787
2709.06/2716.17 c #Conflicts: 1044000 | #Constraints: 88787
2709.06/2716.17 c #Conflicts: 1045000 | #Constraints: 89787
2709.06/2716.17 c #Conflicts: 1046000 | #Constraints: 90787
2709.06/2716.17 c #Conflicts: 1047000 | #Constraints: 91787
2709.06/2716.17 c #Conflicts: 1048000 | #Constraints: 92787
2709.06/2716.17 c #Conflicts: 1049000 | #Constraints: 93787
2709.06/2716.17 c #Conflicts: 1050000 | #Constraints: 94787
2709.06/2716.17 c #Conflicts: 1051000 | #Constraints: 95787
2709.06/2716.17 c #Conflicts: 1052000 | #Constraints: 96787
2709.06/2716.17 c #Conflicts: 1053000 | #Constraints: 97787
2709.06/2716.17 c #Conflicts: 1054000 | #Constraints: 98787
2709.06/2716.17 c #Conflicts: 1055000 | #Constraints: 99787
2709.06/2716.17 c #Conflicts: 1056000 | #Constraints: 100788
2709.06/2716.17 c #Conflicts: 1057000 | #Constraints: 101788
2709.06/2716.17 c INPROCESSING
2709.06/2716.17 c GARBAGE COLLECT
2709.06/2716.17 c #Conflicts: 1058000 | #Constraints: 64153
2709.06/2716.17 c #Conflicts: 1059000 | #Constraints: 65153
2709.06/2716.17 c #Conflicts: 1060000 | #Constraints: 66153
2709.06/2716.17 c #Conflicts: 1061000 | #Constraints: 67153
2709.06/2716.17 c #Conflicts: 1062000 | #Constraints: 68153
2709.06/2716.17 c #Conflicts: 1063000 | #Constraints: 69153
2709.06/2716.17 c #Conflicts: 1064000 | #Constraints: 70153
2709.06/2716.17 c #Conflicts: 1065000 | #Constraints: 71153
2709.06/2716.17 c #Conflicts: 1066000 | #Constraints: 72153
2709.06/2716.17 c #Conflicts: 1067000 | #Constraints: 73153
2709.06/2716.17 c #Conflicts: 1068000 | #Constraints: 74153
2709.06/2716.17 c #Conflicts: 1069000 | #Constraints: 75153
2709.06/2716.17 c #Conflicts: 1070000 | #Constraints: 76153
2709.06/2716.17 c #Conflicts: 1071000 | #Constraints: 77153
2709.06/2716.17 c #Conflicts: 1072000 | #Constraints: 78153
2709.06/2716.17 c #Conflicts: 1073000 | #Constraints: 79153
2709.06/2716.17 c #Conflicts: 1074000 | #Constraints: 80153
2709.06/2716.17 c #Conflicts: 1075000 | #Constraints: 81153
2709.06/2716.17 c #Conflicts: 1076000 | #Constraints: 82153
2709.06/2716.17 c #Conflicts: 1077000 | #Constraints: 83153
2709.06/2716.17 c #Conflicts: 1078000 | #Constraints: 84153
2709.06/2716.17 c #Conflicts: 1079000 | #Constraints: 85153
2709.06/2716.17 c #Conflicts: 1080000 | #Constraints: 86153
2709.06/2716.17 c #Conflicts: 1081000 | #Constraints: 87153
2709.06/2716.17 c #Conflicts: 1082000 | #Constraints: 88153
2709.06/2716.17 c #Conflicts: 1083000 | #Constraints: 89153
2709.06/2716.17 c #Conflicts: 1084000 | #Constraints: 90153
2709.06/2716.17 c #Conflicts: 1085000 | #Constraints: 91153
2709.06/2716.17 c #Conflicts: 1086000 | #Constraints: 92153
2709.06/2716.17 c #Conflicts: 1087000 | #Constraints: 93153
2709.06/2716.17 c #Conflicts: 1088000 | #Constraints: 94153
2709.06/2716.17 c #Conflicts: 1089000 | #Constraints: 95153
2709.06/2716.17 c #Conflicts: 1090000 | #Constraints: 96153
2709.06/2716.17 c #Conflicts: 1091000 | #Constraints: 97153
2709.06/2716.17 c #Conflicts: 1092000 | #Constraints: 98153
2709.06/2716.17 c #Conflicts: 1093000 | #Constraints: 99153
2709.06/2716.17 c #Conflicts: 1094000 | #Constraints: 100153
2709.06/2716.17 c #Conflicts: 1095000 | #Constraints: 101153
2709.06/2716.17 c #Conflicts: 1096000 | #Constraints: 102153
2709.06/2716.17 c #Conflicts: 1097000 | #Constraints: 103153
2709.06/2716.17 c #Conflicts: 1098000 | #Constraints: 104153
2709.06/2716.17 c #Conflicts: 1099000 | #Constraints: 105153
2709.06/2716.17 c #Conflicts: 1100000 | #Constraints: 106153
3073.06/3081.07 c #Conflicts: 1101000 | #Constraints: 107153
3073.06/3081.07 c #Conflicts: 1102000 | #Constraints: 108153
3073.06/3081.07 c #Conflicts: 1103000 | #Constraints: 109153
3073.06/3081.07 c #Conflicts: 1104000 | #Constraints: 110153
3073.06/3081.07 c #Conflicts: 1105000 | #Constraints: 111153
3073.06/3081.07 c #Conflicts: 1106000 | #Constraints: 112153
3073.06/3081.07 c #Conflicts: 1107000 | #Constraints: 113153
3073.06/3081.07 c #Conflicts: 1108000 | #Constraints: 114153
3073.06/3081.07 c #Conflicts: 1109000 | #Constraints: 115153
3073.06/3081.07 c #Conflicts: 1110000 | #Constraints: 116153
3073.06/3081.07 c #Conflicts: 1111000 | #Constraints: 117153
3073.06/3081.07 c #Conflicts: 1112000 | #Constraints: 118153
3073.06/3081.07 c #Conflicts: 1113000 | #Constraints: 119153
3073.06/3081.07 c #Conflicts: 1114000 | #Constraints: 120153
3073.06/3081.07 c #Conflicts: 1115000 | #Constraints: 121153
3073.06/3081.07 c #Conflicts: 1116000 | #Constraints: 122153
3073.06/3081.07 c #Conflicts: 1117000 | #Constraints: 123153
3073.06/3081.07 c #Conflicts: 1118000 | #Constraints: 124153
3073.06/3081.07 c #Conflicts: 1119000 | #Constraints: 125153
3073.06/3081.07 c #Conflicts: 1120000 | #Constraints: 126153
3073.06/3081.07 c #Conflicts: 1121000 | #Constraints: 127153
3073.06/3081.07 c #Conflicts: 1122000 | #Constraints: 128153
3073.06/3081.07 c #Conflicts: 1123000 | #Constraints: 129153
3073.06/3081.07 c #Conflicts: 1124000 | #Constraints: 130153
3073.06/3081.07 c #Conflicts: 1125000 | #Constraints: 131153
3073.06/3081.07 c #Conflicts: 1126000 | #Constraints: 132153
3073.06/3081.07 c #Conflicts: 1127000 | #Constraints: 133153
3073.06/3081.07 c INPROCESSING
3073.06/3081.07 c GARBAGE COLLECT
3073.06/3081.07 c #Conflicts: 1128000 | #Constraints: 77752
3073.06/3081.07 c #Conflicts: 1129000 | #Constraints: 78752
3073.06/3081.07 c #Conflicts: 1130000 | #Constraints: 79752
3073.06/3081.07 c #Conflicts: 1131000 | #Constraints: 80752
3073.06/3081.07 c #Conflicts: 1132000 | #Constraints: 81752
3073.06/3081.07 c #Conflicts: 1133000 | #Constraints: 82752
3073.06/3081.07 c #Conflicts: 1134000 | #Constraints: 83752
3073.06/3081.07 c #Conflicts: 1135000 | #Constraints: 84752
3073.06/3081.07 c #Conflicts: 1136000 | #Constraints: 85752
3073.06/3081.07 c #Conflicts: 1137000 | #Constraints: 86752
3073.06/3081.07 c #Conflicts: 1138000 | #Constraints: 87752
3073.06/3081.07 c #Conflicts: 1139000 | #Constraints: 88752
3073.06/3081.07 c #Conflicts: 1140000 | #Constraints: 89752
3073.06/3081.07 c #Conflicts: 1141000 | #Constraints: 90752
3073.06/3081.07 c #Conflicts: 1142000 | #Constraints: 91752
3073.06/3081.07 c #Conflicts: 1143000 | #Constraints: 92752
3073.06/3081.07 c #Conflicts: 1144000 | #Constraints: 93752
3073.06/3081.07 c #Conflicts: 1145000 | #Constraints: 94753
3073.06/3081.07 c #Conflicts: 1146000 | #Constraints: 95753
3073.06/3081.07 c #Conflicts: 1147000 | #Constraints: 96753
3073.06/3081.07 c #Conflicts: 1148000 | #Constraints: 97753
3073.06/3081.07 c #Conflicts: 1149000 | #Constraints: 98753
3073.06/3081.07 c #Conflicts: 1150000 | #Constraints: 99753
3073.06/3081.07 c #Conflicts: 1151000 | #Constraints: 100753
3073.06/3081.07 c #Conflicts: 1152000 | #Constraints: 101753
3073.06/3081.07 c #Conflicts: 1153000 | #Constraints: 102753
3073.06/3081.07 c #Conflicts: 1154000 | #Constraints: 103753
3073.06/3081.07 c #Conflicts: 1155000 | #Constraints: 104753
3073.06/3081.07 c #Conflicts: 1156000 | #Constraints: 105753
3073.06/3081.07 c INPROCESSING
3073.06/3081.07 c GARBAGE COLLECT
3073.06/3081.07 c #Conflicts: 1157000 | #Constraints: 66274
3073.06/3081.07 c #Conflicts: 1158000 | #Constraints: 67274
3073.06/3081.07 c #Conflicts: 1159000 | #Constraints: 68274
3073.06/3081.07 c #Conflicts: 1160000 | #Constraints: 69274
3073.06/3081.07 c #Conflicts: 1161000 | #Constraints: 70274
3073.06/3081.07 c #Conflicts: 1162000 | #Constraints: 71274
3073.06/3081.07 c #Conflicts: 1163000 | #Constraints: 72274
3073.06/3081.07 c #Conflicts: 1164000 | #Constraints: 73274
3073.06/3081.07 c #Conflicts: 1165000 | #Constraints: 74274
3073.06/3081.07 c #Conflicts: 1166000 | #Constraints: 75274
3073.06/3081.07 c #Conflicts: 1167000 | #Constraints: 76274
3073.06/3081.07 c #Conflicts: 1168000 | #Constraints: 77274
3073.06/3081.07 c #Conflicts: 1169000 | #Constraints: 78274
3073.06/3081.07 c #Conflicts: 1170000 | #Constraints: 79274
3073.06/3081.07 c #Conflicts: 1171000 | #Constraints: 80274
3073.06/3081.07 c #Conflicts: 1172000 | #Constraints: 81274
3073.06/3081.07 c #Conflicts: 1173000 | #Constraints: 82274
3073.06/3081.07 c #Conflicts: 1174000 | #Constraints: 83274
3073.06/3081.07 c #Conflicts: 1175000 | #Constraints: 84274
3073.06/3081.07 c #Conflicts: 1176000 | #Constraints: 85274
3073.06/3081.07 c #Conflicts: 1177000 | #Constraints: 86274
3073.06/3081.07 c #Conflicts: 1178000 | #Constraints: 87274
3321.60/3330.24 c #Conflicts: 1179000 | #Constraints: 88274
3321.60/3330.24 c #Conflicts: 1180000 | #Constraints: 89274
3321.60/3330.24 c #Conflicts: 1181000 | #Constraints: 90274
3321.60/3330.24 c #Conflicts: 1182000 | #Constraints: 91274
3321.60/3330.24 c #Conflicts: 1183000 | #Constraints: 92274
3321.60/3330.24 c #Conflicts: 1184000 | #Constraints: 93274
3321.60/3330.24 c #Conflicts: 1185000 | #Constraints: 94274
3321.60/3330.24 c #Conflicts: 1186000 | #Constraints: 95274
3321.60/3330.24 c #Conflicts: 1187000 | #Constraints: 96274
3321.60/3330.24 c #Conflicts: 1188000 | #Constraints: 97274
3321.60/3330.24 c #Conflicts: 1189000 | #Constraints: 98274
3321.60/3330.24 c #Conflicts: 1190000 | #Constraints: 99274
3321.60/3330.24 c #Conflicts: 1191000 | #Constraints: 100274
3321.60/3330.24 c #Conflicts: 1192000 | #Constraints: 101274
3321.60/3330.24 c #Conflicts: 1193000 | #Constraints: 102274
3321.60/3330.24 c #Conflicts: 1194000 | #Constraints: 103274
3321.60/3330.24 c #Conflicts: 1195000 | #Constraints: 104274
3321.60/3330.24 c #Conflicts: 1196000 | #Constraints: 105274
3321.60/3330.24 c #Conflicts: 1197000 | #Constraints: 106274
3321.60/3330.24 c #Conflicts: 1198000 | #Constraints: 107274
3321.60/3330.24 c #Conflicts: 1199000 | #Constraints: 108274
3321.60/3330.24 c #Conflicts: 1200000 | #Constraints: 109274
3321.60/3330.24 c #Conflicts: 1201000 | #Constraints: 110274
3321.60/3330.24 c #Conflicts: 1202000 | #Constraints: 111274
3321.60/3330.24 c #Conflicts: 1203000 | #Constraints: 112274
3321.60/3330.24 c #Conflicts: 1204000 | #Constraints: 113274
3321.60/3330.24 c #Conflicts: 1205000 | #Constraints: 114274
3321.60/3330.24 c #Conflicts: 1206000 | #Constraints: 115274
3321.60/3330.24 c #Conflicts: 1207000 | #Constraints: 116274
3321.60/3330.24 c #Conflicts: 1208000 | #Constraints: 117274
3321.60/3330.24 c #Conflicts: 1209000 | #Constraints: 118274
3321.60/3330.24 c #Conflicts: 1210000 | #Constraints: 119274
3321.60/3330.24 c #Conflicts: 1211000 | #Constraints: 120274
3321.60/3330.24 c #Conflicts: 1212000 | #Constraints: 121274
3321.60/3330.24 c #Conflicts: 1213000 | #Constraints: 122274
3321.60/3330.24 c #Conflicts: 1214000 | #Constraints: 123274
3321.60/3330.24 c #Conflicts: 1215000 | #Constraints: 124274
3321.60/3330.24 c #Conflicts: 1216000 | #Constraints: 125274
3321.60/3330.24 c #Conflicts: 1217000 | #Constraints: 126274
3321.60/3330.24 c #Conflicts: 1218000 | #Constraints: 127274
3321.60/3330.24 c #Conflicts: 1219000 | #Constraints: 128274
3321.60/3330.24 c #Conflicts: 1220000 | #Constraints: 129274
3321.60/3330.24 c #Conflicts: 1221000 | #Constraints: 130274
3321.60/3330.24 c #Conflicts: 1222000 | #Constraints: 131274
3321.60/3330.24 c #Conflicts: 1223000 | #Constraints: 132274
3321.60/3330.24 c #Conflicts: 1224000 | #Constraints: 133274
3321.60/3330.24 c #Conflicts: 1225000 | #Constraints: 134274
3321.60/3330.24 c #Conflicts: 1226000 | #Constraints: 135274
3321.60/3330.24 c #Conflicts: 1227000 | #Constraints: 136274
3321.60/3330.24 c #Conflicts: 1228000 | #Constraints: 137274
3321.60/3330.24 c INPROCESSING
3321.60/3330.24 c GARBAGE COLLECT
3321.60/3330.24 c #Conflicts: 1229000 | #Constraints: 79578
3321.60/3330.24 c #Conflicts: 1230000 | #Constraints: 80578
3321.60/3330.24 c #Conflicts: 1231000 | #Constraints: 81578
3321.60/3330.24 c #Conflicts: 1232000 | #Constraints: 82578
3321.60/3330.24 c #Conflicts: 1233000 | #Constraints: 83578
3321.60/3330.24 c #Conflicts: 1234000 | #Constraints: 84578
3321.60/3330.24 c #Conflicts: 1235000 | #Constraints: 85578
3321.60/3330.24 c #Conflicts: 1236000 | #Constraints: 86578
3321.60/3330.24 c #Conflicts: 1237000 | #Constraints: 87578
3321.60/3330.24 c #Conflicts: 1238000 | #Constraints: 88578
3321.60/3330.24 c #Conflicts: 1239000 | #Constraints: 89578
3321.60/3330.24 c #Conflicts: 1240000 | #Constraints: 90578
3321.60/3330.24 c #Conflicts: 1241000 | #Constraints: 91578
3321.60/3330.24 c #Conflicts: 1242000 | #Constraints: 92578
3321.60/3330.24 c #Conflicts: 1243000 | #Constraints: 93578
3321.60/3330.24 c #Conflicts: 1244000 | #Constraints: 94578
3321.60/3330.24 c #Conflicts: 1245000 | #Constraints: 95578
3321.60/3330.24 c #Conflicts: 1246000 | #Constraints: 96578
3321.60/3330.24 c #Conflicts: 1247000 | #Constraints: 97578
3321.60/3330.24 c #Conflicts: 1248000 | #Constraints: 98578
3321.60/3330.24 c #Conflicts: 1249000 | #Constraints: 99578
3321.60/3330.24 c #Conflicts: 1250000 | #Constraints: 100578
3321.60/3330.24 c #Conflicts: 1251000 | #Constraints: 101578
3321.60/3330.24 c #Conflicts: 1252000 | #Constraints: 102578
3321.60/3330.24 c #Conflicts: 1253000 | #Constraints: 103578
3321.60/3330.24 c #Conflicts: 1254000 | #Constraints: 104578
3321.60/3330.24 c #Conflicts: 1255000 | #Constraints: 105578
3321.60/3330.24 c #Conflicts: 1256000 | #Constraints: 106578
3572.50/3581.80 c #Conflicts: 1257000 | #Constraints: 107578
3572.50/3581.80 c #Conflicts: 1258000 | #Constraints: 108578
3572.50/3581.80 c #Conflicts: 1259000 | #Constraints: 109578
3572.50/3581.80 c INPROCESSING
3572.50/3581.80 c GARBAGE COLLECT
3572.50/3581.80 c #Conflicts: 1260000 | #Constraints: 68679
3572.50/3581.80 c #Conflicts: 1261000 | #Constraints: 69679
3572.50/3581.80 c #Conflicts: 1262000 | #Constraints: 70679
3572.50/3581.80 c #Conflicts: 1263000 | #Constraints: 71679
3572.50/3581.80 c #Conflicts: 1264000 | #Constraints: 72679
3572.50/3581.80 c #Conflicts: 1265000 | #Constraints: 73679
3572.50/3581.80 c #Conflicts: 1266000 | #Constraints: 74679
3572.50/3581.80 c #Conflicts: 1267000 | #Constraints: 75679
3572.50/3581.80 c #Conflicts: 1268000 | #Constraints: 76679
3572.50/3581.80 c #Conflicts: 1269000 | #Constraints: 77679
3572.50/3581.80 c #Conflicts: 1270000 | #Constraints: 78679
3572.50/3581.80 c #Conflicts: 1271000 | #Constraints: 79679
3572.50/3581.80 c #Conflicts: 1272000 | #Constraints: 80679
3572.50/3581.80 c #Conflicts: 1273000 | #Constraints: 81679
3572.50/3581.80 c #Conflicts: 1274000 | #Constraints: 82679
3572.50/3581.80 c #Conflicts: 1275000 | #Constraints: 83679
3572.50/3581.80 c #Conflicts: 1276000 | #Constraints: 84679
3572.50/3581.80 c #Conflicts: 1277000 | #Constraints: 85679
3572.50/3581.80 c #Conflicts: 1278000 | #Constraints: 86679
3572.50/3581.80 c #Conflicts: 1279000 | #Constraints: 87679
3572.50/3581.80 c #Conflicts: 1280000 | #Constraints: 88679
3572.50/3581.80 c #Conflicts: 1281000 | #Constraints: 89679
3572.50/3581.80 c #Conflicts: 1282000 | #Constraints: 90679
3572.50/3581.80 c #Conflicts: 1283000 | #Constraints: 91679
3572.50/3581.80 c #Conflicts: 1284000 | #Constraints: 92679
3572.50/3581.80 c #Conflicts: 1285000 | #Constraints: 93679
3572.50/3581.80 c #Conflicts: 1286000 | #Constraints: 94679
3572.50/3581.80 c #Conflicts: 1287000 | #Constraints: 95679
3572.50/3581.80 c #Conflicts: 1288000 | #Constraints: 96679
3572.50/3581.80 c #Conflicts: 1289000 | #Constraints: 97679
3572.50/3581.80 c #Conflicts: 1290000 | #Constraints: 98679
3572.50/3581.80 c #Conflicts: 1291000 | #Constraints: 99679
3572.50/3581.80 c #Conflicts: 1292000 | #Constraints: 100679
3572.50/3581.80 c #Conflicts: 1293000 | #Constraints: 101679
3572.50/3581.80 c #Conflicts: 1294000 | #Constraints: 102679
3572.50/3581.80 c #Conflicts: 1295000 | #Constraints: 103679
3572.50/3581.80 c #Conflicts: 1296000 | #Constraints: 104679
3572.50/3581.80 c #Conflicts: 1297000 | #Constraints: 105679
3572.50/3581.80 c #Conflicts: 1298000 | #Constraints: 106679
3572.50/3581.80 c #Conflicts: 1299000 | #Constraints: 107679
3572.50/3581.80 c #Conflicts: 1300000 | #Constraints: 108680
3572.50/3581.80 c #Conflicts: 1301000 | #Constraints: 109680
3572.50/3581.80 c #Conflicts: 1302000 | #Constraints: 110680
3572.50/3581.80 c #Conflicts: 1303000 | #Constraints: 111680
3572.50/3581.80 c #Conflicts: 1304000 | #Constraints: 112680
3572.50/3581.80 c #Conflicts: 1305000 | #Constraints: 113680
3572.50/3581.80 c #Conflicts: 1306000 | #Constraints: 114680
3572.50/3581.80 c #Conflicts: 1307000 | #Constraints: 115680
3572.50/3581.80 c #Conflicts: 1308000 | #Constraints: 116680
3572.50/3581.80 c #Conflicts: 1309000 | #Constraints: 117680
3572.50/3581.80 c #Conflicts: 1310000 | #Constraints: 118680
3572.50/3581.80 c #Conflicts: 1311000 | #Constraints: 119680
3572.50/3581.80 c #Conflicts: 1312000 | #Constraints: 120680
3572.50/3581.80 c #Conflicts: 1313000 | #Constraints: 121680
3572.50/3581.80 c #Conflicts: 1314000 | #Constraints: 122680
3572.50/3581.80 c #Conflicts: 1315000 | #Constraints: 123680
3572.50/3581.80 c #Conflicts: 1316000 | #Constraints: 124680
3572.50/3581.80 c #Conflicts: 1317000 | #Constraints: 125680
3572.50/3581.80 c #Conflicts: 1318000 | #Constraints: 126680
3572.50/3581.80 c #Conflicts: 1319000 | #Constraints: 127680
3572.50/3581.80 c #Conflicts: 1320000 | #Constraints: 128680
3572.50/3581.80 c #Conflicts: 1321000 | #Constraints: 129680
3572.50/3581.80 c #Conflicts: 1322000 | #Constraints: 130680
3572.50/3581.80 c #Conflicts: 1323000 | #Constraints: 131680
3572.50/3581.80 c #Conflicts: 1324000 | #Constraints: 132680
3572.50/3581.80 c #Conflicts: 1325000 | #Constraints: 133680
3572.50/3581.80 c #Conflicts: 1326000 | #Constraints: 134680
3572.50/3581.80 c #Conflicts: 1327000 | #Constraints: 135680
3572.50/3581.80 c #Conflicts: 1328000 | #Constraints: 136680
3572.50/3581.80 c #Conflicts: 1329000 | #Constraints: 137680
3572.50/3581.80 c #Conflicts: 1330000 | #Constraints: 138680
3572.50/3581.80 c #Conflicts: 1331000 | #Constraints: 139680
3572.50/3581.80 c #Conflicts: 1332000 | #Constraints: 140680
3572.50/3581.80 c #Conflicts: 1333000 | #Constraints: 141680
3572.50/3581.80 c #Conflicts: 1334000 | #Constraints: 142680
3600.04/3609.40 c #Conflicts: 1335000 | #Constraints: 143680
3600.04/3609.40 c INPROCESSING
3600.04/3609.40 c GARBAGE COLLECT
3600.04/3609.40 c Disabling crashed LP
3600.04/3609.40 c cpu time 3569.14 s
3600.04/3609.40 c deterministic time 225136286344 2.25e+11
3600.04/3609.40 c optimization time 9.3e-05 s
3600.04/3609.40 c total solve time 3568.95 s
3600.04/3609.40 c core-guided solve time 0 s
3600.04/3609.40 c propagation time 1813.55 s
3600.04/3609.40 c conflict analysis time 1461.56 s
3600.04/3609.40 c propagations 1319829163
3600.04/3609.40 c resolve steps 90967342
3600.04/3609.40 c decisions 24232343
3600.04/3609.40 c conflicts 1335003
3600.04/3609.40 c restarts 2557
3600.04/3609.40 c inprocessing phases 50
3600.04/3609.40 c garbage collections 50 ,( 100.00 )
3600.04/3609.40 c input clauses 18002 ,( 99.17 )
3600.04/3609.40 c input cardinalities 150 ,( 0.83 )
3600.04/3609.40 c input general constraints 0 ,( 0.00 )
3600.04/3609.40 c input average constraint length 6.43
3600.04/3609.40 c input average constraint degree 1.97
3600.04/3609.40 c learned clauses 988786 ,( 74.07 )
3600.04/3609.40 c learned cardinalities 39991 ,( 3.00 )
3600.04/3609.40 c learned general constraints 306239 ,( 22.94 )
3600.04/3609.40 c learned average constraint length 766.29
3600.04/3609.40 c learned average constraint degree 44983917.19
3600.04/3609.40 c watched CF 32, 64, 128, Arb: 81810 , 0 , 0 , 0
3600.04/3609.40 c counting CF 32, 64, 128, Arb: 224429 , 0 , 0 , 0
3600.04/3609.40 c watched constraints 81810 ,( 26.71 )
3600.04/3609.40 c counting constraints 224429 ,( 73.29 )
3600.04/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1245772176 , 591194739 , 2592128823 ,( 81477364 , 2510651459 )
3600.04/3609.40 c gcd simplifications 865
3600.04/3609.40 c detected cardinalities 5231
3600.04/3609.40 c weakened non-implied lits 389214692
3600.04/3609.40 c weakened non-implying lits 207675
3600.04/3609.40 c original variables 17850
3600.04/3609.40 c clausal propagations 603124800
3600.04/3609.40 c cardinality propagations 479823413
3600.04/3609.40 c watched propagations 5297103
3600.04/3609.40 c counting propagations 219911130
3600.04/3609.40 c watch lookups 84553976182
3600.04/3609.40 c watch backjump lookups 0
3600.04/3609.40 c watch checks 31818251266
3600.04/3609.40 c propagation checks 101304842619
3600.04/3609.40 c constraint additions 4769486779
3600.04/3609.40 c trail pops 1345395533
3600.04/3609.40 c formula constraints 18152
3600.04/3609.40 c learned constraints 1334992
3600.04/3609.40 c bound constraints 0
3600.04/3609.40 c core-guided constraints 0
3600.04/3609.40 c encountered formula constraints 60388690
3600.04/3609.40 c encountered learned constraints 31912325
3600.04/3609.40 c encountered bound constraints 0
3600.04/3609.40 c encountered core-guided constraints 0
3600.04/3609.40 c LP total time 319.981 s
3600.04/3609.40 c LP solve time 305.81 s
3600.04/3609.40 c LP constraints added 18493
3600.04/3609.40 c LP constraints removed 68
3600.04/3609.40 c LP pivots internal 143437
3600.04/3609.40 c LP pivots root 129021
3600.04/3609.40 c LP calls 21
3600.04/3609.40 c LP optimalities 3
3600.04/3609.40 c LP no pivot count 0
3600.04/3609.40 c LP infeasibilities 11
3600.04/3609.40 c LP valid Farkas constraints 11
3600.04/3609.40 c LP learned Farkas constraints 11
3600.04/3609.40 c LP basis resets 0
3600.04/3609.40 c LP cycling count 0
3600.04/3609.40 c LP singular count 0
3600.04/3609.40 c LP no primal count 0
3600.04/3609.40 c LP no farkas count 0
3600.04/3609.40 c LP other issue count 0
3600.04/3609.40 c LP Gomory cuts 2
3600.04/3609.40 c LP learned cuts 339
3600.04/3609.40 c LP deleted cuts 68
3600.04/3609.40 c LP encountered Gomory constraints 0
3600.04/3609.40 c LP encountered Farkas constraints 1315
3600.04/3609.40 c LP encountered learned Farkas constraints 4
3600.04/3609.40 c CG auxiliary variables introduced 0
3600.04/3609.40 c CG solutions found 0
3600.04/3609.40 c CG cores constructed 0
3600.04/3609.40 c CG core cardinality constraints returned 0
3600.04/3609.40 c CG unit cores 0
3600.04/3609.40 c CG single cores 0
3600.04/3609.40 c CG blocks removed during cardinality reduction 0
3600.04/3609.40 c CG first core best 0
3600.04/3609.40 c CG decision core best 0
3600.04/3609.40 c CG core reduction tie 0
3600.04/3609.40 c CG core degree average 0.00
3600.04/3609.40 c CG core slack average 0.00
3600.04/3609.40 c CG core upper bound improvements 0
3600.04/3609.40 c STR number of successful calls 0
3600.04/3609.40 c STR number of unsuccessful calls 0
3600.04/3609.40 c STR number of inconclusive calls 0
3600.04/3609.40 c STR number of successful attempts 0
3600.04/3609.40 c STR number of unsuccessful attempts 0
3600.04/3609.40 c STR number of inconclusive attempts 0
3600.04/3609.40 c STR average degree increase per successful call inf
3600.04/3609.40 c STR average degree increase per successful attempt inf
3600.04/3609.40 c STR total number of conflicts for successful attempts 0
3600.04/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.40 c STR average number of conflicts per successful attempt inf
3600.04/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.40 c AVG.sumWPerc 65.14
3600.04/3609.40 c bigint constraints 0
3600.04/3609.40 s UNKNOWN
3600.04/3609.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (57458 MiB free)
memory of node 1: 64465 MiB (50756 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507085-1751178140/watcher-4507085-1751178140 -o /tmp/evaluation-result-4507085-1751178140/solver-4507085-1751178140 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17821 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507085-1751178140.opb PROOFDIR/proof-4507085-1751178140
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=18732, runsolver pid=18729
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.13 4.09 4.09 5/260 18734
/proc/meminfo: memFree=110813336/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=60512 memory=15672 CPUtime=0.07 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 1662 0 0 0 6 1 0 0 20 0 1 0 33492677 61964288 3918 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 15128 3918 1952 1147 0 2555 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64704 KiB
Current children cumulated memory: 18616 KiB
[startup+0.209356 s]*
/proc/loadavg: 4.13 4.09 4.09 5/260 18734
/proc/meminfo: memFree=110804892/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=77820 memory=33412 CPUtime=0.18 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 5298 0 0 0 15 3 0 0 20 0 1 0 33492677 79687680 8353 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 19455 8353 2240 1147 0 6882 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 82012 KiB
Current children cumulated memory: 36356 KiB
[startup+0.309227 s]*
/proc/loadavg: 4.12 4.09 4.09 5/260 18734
/proc/meminfo: memFree=110792604/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=100356 memory=47924 CPUtime=0.28 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 8686 0 0 0 24 4 0 0 20 0 1 0 33492677 102764544 11981 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 25089 11981 2240 1147 0 12516 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 104548 KiB
Current children cumulated memory: 50868 KiB
[startup+0.700359 s]
/proc/loadavg: 4.12 4.09 4.09 5/260 18734
/proc/meminfo: memFree=110792604/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=105104 memory=50996 CPUtime=0.66 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 9454 0 0 0 61 5 0 0 20 0 1 0 33492677 107626496 12749 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 26276 12749 2240 1147 0 13703 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 109296 KiB
Current children cumulated memory: 53940 KiB
[startup+1.50041 s]
/proc/loadavg: 4.12 4.09 4.09 5/260 18734
/proc/meminfo: memFree=110791848/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=106208 memory=53044 CPUtime=1.45 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 9949 0 0 0 139 6 0 0 20 0 1 0 33492677 108756992 13261 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 26552 13261 2272 1147 0 13979 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 110400 KiB
Current children cumulated memory: 55988 KiB
[startup+3.11408 s]
/proc/loadavg: 4.12 4.09 4.09 5/260 18734
/proc/meminfo: memFree=110784792/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=107068 memory=56872 CPUtime=3.07 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 10364 0 0 0 297 10 0 0 20 0 1 0 33492677 109637632 14218 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 26767 14218 2304 1147 0 14194 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 111260 KiB
Current children cumulated memory: 59816 KiB
[startup+6.30039 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 18735
/proc/meminfo: memFree=110728300/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=118452 memory=66856 CPUtime=6.25 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 12910 0 0 0 601 24 0 0 20 0 1 0 33492677 121294848 16714 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 29613 16714 2304 1147 0 17040 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 122644 KiB
Current children cumulated memory: 69800 KiB
[startup+12.7004 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 18735
/proc/meminfo: memFree=110687844/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=127428 memory=75816 CPUtime=12.63 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 15125 0 0 0 1221 42 0 0 20 0 1 0 33492677 130486272 18954 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 31857 18954 2304 1147 0 19284 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 131620 KiB
Current children cumulated memory: 78760 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.08 4.09 5/260 18735
/proc/meminfo: memFree=110587908/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=153196 memory=101100 CPUtime=25.39 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 19405 0 0 0 2470 69 0 0 20 0 1 0 33492677 156872704 25275 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 38299 25275 2304 1147 0 25726 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 157388 KiB
Current children cumulated memory: 104044 KiB
[startup+51.1141 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 18735
/proc/meminfo: memFree=110396680/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=200628 memory=132100 CPUtime=50.94 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 24674 0 0 0 4960 134 0 0 20 0 1 0 33492677 205443072 33025 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 50157 33025 2304 1147 0 37584 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 204820 KiB
Current children cumulated memory: 135044 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/259 18783
/proc/meminfo: memFree=116898272/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=223088 memory=156744 CPUtime=101.98 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 30331 0 0 0 9975 223 0 0 20 0 1 0 33492677 228442112 39186 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 55772 39186 2304 1147 0 43199 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 227280 KiB
Current children cumulated memory: 159688 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/258 18787
/proc/meminfo: memFree=116373336/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=274496 memory=215300 CPUtime=161.83 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 35781 0 0 0 15901 282 0 0 20 0 1 0 33492677 281083904 53825 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 68624 53825 2304 1147 0 56051 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 278688 KiB
Current children cumulated memory: 218244 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/259 18790
/proc/meminfo: memFree=115907344/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=282644 memory=224132 CPUtime=221.67 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 37992 0 0 0 21771 396 0 0 20 0 1 0 33492677 289427456 56033 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 70661 56033 2304 1147 0 58088 0
################
# More data... #
################
Current children cumulated memory: 1093672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 19049
/proc/meminfo: memFree=105786572/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=1279928 memory=1092136 CPUtime=3333.66 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 160583 0 0 0 330456 2910 0 0 20 0 1 0 33492677 1310646272 273034 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 319982 273034 2304 1147 0 307409 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 1284120 KiB
Current children cumulated memory: 1095080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/259 19052
/proc/meminfo: memFree=105330168/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=1279928 memory=1093032 CPUtime=3393.51 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 160589 0 0 0 336382 2969 0 0 20 0 1 0 33492677 1310646272 273258 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 319982 273258 2304 1147 0 307409 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 1284120 KiB
Current children cumulated memory: 1095976 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 19054
/proc/meminfo: memFree=104982124/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=1282876 memory=1102504 CPUtime=3453.33 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 161148 0 0 0 342315 3018 0 0 20 0 1 0 33492677 1313665024 275626 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 320719 275626 2304 1147 0 308146 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 1287068 KiB
Current children cumulated memory: 1105448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/259 19060
/proc/meminfo: memFree=104679640/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=1282876 memory=1109800 CPUtime=3513.16 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 161211 0 0 0 348262 3054 0 0 20 0 1 0 33492677 1313665024 277450 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 320719 277450 2304 1147 0 308146 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 1287068 KiB
Current children cumulated memory: 1112744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 19062
/proc/meminfo: memFree=104389372/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=1284852 memory=1111720 CPUtime=3573.01 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 162046 0 0 0 354223 3078 0 0 20 0 1 0 33492677 1315688448 277930 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 321213 277930 2304 1147 0 308640 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 1289044 KiB
Current children cumulated memory: 1114664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.46 4.18 4.12 5/258 19062
/proc/meminfo: memFree=104271200/131382120 swapFree=33010684/33010684
[pid=18732] ppid=18729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/18732/stat : 18732 (run-dec-log.sh) S 18729 18732 17810 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33492676 4292608 736 18446744073709551615 94391307993088 94391308887621 140728802390960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94391309126672 94391309174416 94391330131968 140728802392353 140728802392548 140728802392548 140728802398150 0
/proc/18732/statm: 1048 736 672 219 0 110 0
[pid=18734] ppid=18732 vsize=1288248 memory=1114920 CPUtime=3600.04 cores=4,6
/proc/18734/stat : 18734 (roundingsat) R 18732 18732 17810 0 -1 4194304 162831 0 0 0 356913 3091 0 0 20 0 1 0 33492677 1319165952 278730 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 322062 278730 2304 1147 0 309489 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1292440 KiB
Current children cumulated memory: 1117864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 18732 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001652 s, system=0.003302 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.50 4.19 4.12 4/257 19062
/proc/meminfo: memFree=104216168/131382120 swapFree=33010684/33010684
[pid=18734] ppid=18729 vsize=1269528 memory=1103240 CPUtime=3600.05 cores=4,6
/proc/18734/stat : 18734 (roundingsat) D 18729 18732 17810 0 -1 4194304 162879 0 0 0 356913 3092 0 0 20 0 1 0 33492677 1299996672 275810 18446744073709551615 4227072 8923433 140724715970992 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 9
/proc/18734/statm: 317382 275810 2400 1147 0 304809 0
??? kill 18734 sig 9
??? end of watcher thread
[startup+3629.23 s]
# the end of solver process 18734 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3569.14 s, system=30.9451 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.61 s]
/proc/loadavg: 4.46 4.18 4.12 4/257 19062
/proc/meminfo: memFree=104262292/131382120 swapFree=33010684/33010684
[pid=18734] ppid=18729 vsize=1269528 memory=1103240 CPUtime=3600.05 cores=4,6
/proc/18734/stat : 18734 (roundingsat) D 18729 18732 17810 0 -1 4194304 162879 0 0 0 356913 3092 0 0 20 0 1 0 33492677 1299996672 275810 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 317382 275810 2400 1147 0 304809 0
Current cumulated CPU time of completed processes: 0.004954 s
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1269528 KiB
Current children cumulated memory: 1103240 KiB
[startup+3610.4 s]
/proc/loadavg: 4.46 4.18 4.12 4/257 19062
/proc/meminfo: memFree=104240992/131382120 swapFree=33010684/33010684
[pid=18734] ppid=18729 vsize=1269528 memory=1103240 CPUtime=3600.05 cores=4,6
/proc/18734/stat : 18734 (roundingsat) D 18729 18732 17810 0 -1 4194304 162879 0 0 0 356913 3092 0 0 20 0 1 0 33492677 1299996672 275810 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 317382 275810 2400 1147 0 304809 0
Current cumulated CPU time of completed processes: 0.004954 s
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1269528 KiB
Current children cumulated memory: 1103240 KiB
[startup+3611.2 s]
/proc/loadavg: 4.46 4.18 4.12 4/257 19062
/proc/meminfo: memFree=104223672/131382120 swapFree=33010684/33010684
[pid=18734] ppid=18729 vsize=1269528 memory=1103240 CPUtime=3600.05 cores=4,6
/proc/18734/stat : 18734 (roundingsat) D 18729 18732 17810 0 -1 4194304 162879 0 0 0 356913 3092 0 0 20 0 1 0 33492677 1299996672 275810 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 317382 275810 2400 1147 0 304809 0
Current cumulated CPU time of completed processes: 0.004954 s
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1269528 KiB
Current children cumulated memory: 1103240 KiB
[startup+3611.4 s]
/proc/loadavg: 4.46 4.18 4.12 4/257 19062
/proc/meminfo: memFree=104223672/131382120 swapFree=33010684/33010684
[pid=18734] ppid=18729 vsize=1269528 memory=1103240 CPUtime=3600.05 cores=4,6
/proc/18734/stat : 18734 (roundingsat) D 18729 18732 17810 0 -1 4194304 162879 0 0 0 356913 3092 0 0 20 0 1 0 33492677 1299996672 275810 18446744073709551615 4227072 8923433 140724715970992 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 16916480 140724715972967 140724715973160 140724715973160 140724715978730 0
/proc/18734/statm: 317382 275810 2400 1147 0 304809 0
Current cumulated CPU time of completed processes: 0.004954 s
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1269528 KiB
Current children cumulated memory: 1103240 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3629.23
CPU time (s): 3600.09
CPU user time (s): 3569.14
CPU system time (s): 30.9451
CPU usage (%): 99.197
Max. virtual memory (cumulated for all children) (KiB): 1292440
Max. memory (cumulated for all children) (KiB): 1117864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.14
system time used= 30.9451
maximum resident set size= 1115304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12021624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2916
involuntary context switches= 5624
# summary of solver processes directly reported to runsolver:
# pid: 18732,18734
# total CPU time (s): 3600.09
# total CPU user time (s): 3569.14
# total CPU system time (s): 30.9451
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6625 second user time and 39.3205 second system time
The end
Begin job on nodeC003 at 2025-06-29 08:22:20
IDJOB=4507085
IDBENCH=158322
IDSOLVER=3352
FILE ID=nodeC003/4507085-1751178140
RUNJOBID= nodeC003-1751170906-17821
SLURM_JOB_ID= 9587531
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507085-1751178140/watcher-4507085-1751178140 -o /tmp/evaluation-result-4507085-1751178140/solver-4507085-1751178140 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17821 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507085-1751178140.opb PROOFDIR/proof-4507085-1751178140
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=1209174395
nodeC003 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 : 3661.595
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.44
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 : 3691.260
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.44
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.452
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.367
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.44
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.778
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.44
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 : 3491.725
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.44
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 : 1795.752
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.44
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 110812744 kB
MemAvailable: 126562068 kB
Buffers: 3280 kB
Cached: 16542844 kB
SwapCached: 0 kB
Active: 3658392 kB
Inactive: 16329248 kB
Active(anon): 3459860 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 16329248 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55968 kB
Writeback: 16 kB
AnonPages: 3440588 kB
Mapped: 115300 kB
Shmem: 17960 kB
KReclaimable: 122340 kB
Slab: 205556 kB
SReclaimable: 122340 kB
SUnreclaim: 83216 kB
KernelStack: 4176 kB
PageTables: 9992 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 4353656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149592 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2025472 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: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC003 at 2025-06-29 09:22:49