0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.14 c #variables 17850 #constraints 18152
114.85/115.20 c #Conflicts: 1000 | #Constraints: 19151
114.85/115.20 c #Conflicts: 2000 | #Constraints: 20151
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 3000 | #Constraints: 19395
114.85/115.20 c #Conflicts: 4000 | #Constraints: 20395
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 5000 | #Constraints: 19885
114.85/115.20 c #Conflicts: 6000 | #Constraints: 20885
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 7000 | #Constraints: 19966
114.85/115.20 c #Conflicts: 8000 | #Constraints: 20966
114.85/115.20 c #Conflicts: 9000 | #Constraints: 21966
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 10000 | #Constraints: 20709
114.85/115.20 c #Conflicts: 11000 | #Constraints: 21709
114.85/115.20 c #Conflicts: 12000 | #Constraints: 22709
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 13000 | #Constraints: 21237
114.85/115.20 c #Conflicts: 14000 | #Constraints: 22237
114.85/115.20 c #Conflicts: 15000 | #Constraints: 23237
114.85/115.20 c #Conflicts: 16000 | #Constraints: 24237
114.85/115.20 c #Conflicts: 17000 | #Constraints: 25237
114.85/115.20 c #Conflicts: 18000 | #Constraints: 26237
114.85/115.20 c #Conflicts: 19000 | #Constraints: 27237
114.85/115.20 c #Conflicts: 20000 | #Constraints: 28237
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 21000 | #Constraints: 23900
114.85/115.20 c #Conflicts: 22000 | #Constraints: 24900
114.85/115.20 c #Conflicts: 23000 | #Constraints: 25900
114.85/115.20 c #Conflicts: 24000 | #Constraints: 26900
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 25000 | #Constraints: 23219
114.85/115.20 c #Conflicts: 26000 | #Constraints: 24219
114.85/115.20 c #Conflicts: 27000 | #Constraints: 25219
114.85/115.20 c #Conflicts: 28000 | #Constraints: 26219
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 29000 | #Constraints: 22755
114.85/115.20 c #Conflicts: 30000 | #Constraints: 23755
114.85/115.20 c #Conflicts: 31000 | #Constraints: 24755
114.85/115.20 c #Conflicts: 32000 | #Constraints: 25755
114.85/115.20 c #Conflicts: 33000 | #Constraints: 26755
114.85/115.20 c #Conflicts: 34000 | #Constraints: 27755
114.85/115.20 c #Conflicts: 35000 | #Constraints: 28755
114.85/115.20 c #Conflicts: 36000 | #Constraints: 29755
114.85/115.20 c #Conflicts: 37000 | #Constraints: 30755
114.85/115.20 c #Conflicts: 38000 | #Constraints: 31755
114.85/115.20 c #Conflicts: 39000 | #Constraints: 32755
114.85/115.20 c #Conflicts: 40000 | #Constraints: 33755
114.85/115.20 c #Conflicts: 41000 | #Constraints: 34755
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 42000 | #Constraints: 27239
114.85/115.20 c #Conflicts: 43000 | #Constraints: 28239
114.85/115.20 c #Conflicts: 44000 | #Constraints: 29239
114.85/115.20 c #Conflicts: 45000 | #Constraints: 30239
114.85/115.20 c #Conflicts: 46000 | #Constraints: 31239
114.85/115.20 c #Conflicts: 47000 | #Constraints: 32239
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 48000 | #Constraints: 26297
114.85/115.20 c #Conflicts: 49000 | #Constraints: 27297
114.85/115.20 c #Conflicts: 50000 | #Constraints: 28297
114.85/115.20 c #Conflicts: 51000 | #Constraints: 29297
114.85/115.20 c #Conflicts: 52000 | #Constraints: 30297
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 53000 | #Constraints: 25381
114.85/115.20 c #Conflicts: 54000 | #Constraints: 26381
114.85/115.20 c #Conflicts: 55000 | #Constraints: 27381
114.85/115.20 c #Conflicts: 56000 | #Constraints: 28381
114.85/115.20 c #Conflicts: 57000 | #Constraints: 29381
114.85/115.20 c #Conflicts: 58000 | #Constraints: 30381
114.85/115.20 c #Conflicts: 59000 | #Constraints: 31381
114.85/115.20 c #Conflicts: 60000 | #Constraints: 32381
114.85/115.20 c #Conflicts: 61000 | #Constraints: 33381
114.85/115.20 c #Conflicts: 62000 | #Constraints: 34381
114.85/115.20 c #Conflicts: 63000 | #Constraints: 35381
114.85/115.20 c #Conflicts: 64000 | #Constraints: 36381
114.85/115.20 c #Conflicts: 65000 | #Constraints: 37381
114.85/115.20 c #Conflicts: 66000 | #Constraints: 38381
114.85/115.20 c #Conflicts: 67000 | #Constraints: 39381
114.85/115.20 c #Conflicts: 68000 | #Constraints: 40381
114.85/115.20 c #Conflicts: 69000 | #Constraints: 41381
114.85/115.20 c INPROCESSING
114.85/115.20 c GARBAGE COLLECT
114.85/115.20 c #Conflicts: 70000 | #Constraints: 30597
114.85/115.20 c #Conflicts: 71000 | #Constraints: 31597
114.85/115.20 c #Conflicts: 72000 | #Constraints: 32597
237.54/238.27 c #Conflicts: 73000 | #Constraints: 33597
237.54/238.27 c #Conflicts: 74000 | #Constraints: 34597
237.54/238.27 c #Conflicts: 75000 | #Constraints: 35597
237.54/238.27 c #Conflicts: 76000 | #Constraints: 36597
237.54/238.27 c INPROCESSING
237.54/238.27 c GARBAGE COLLECT
237.54/238.27 c #Conflicts: 77000 | #Constraints: 28162
237.54/238.27 c #Conflicts: 78000 | #Constraints: 29162
237.54/238.27 c #Conflicts: 79000 | #Constraints: 30162
237.54/238.27 c #Conflicts: 80000 | #Constraints: 31162
237.54/238.27 c #Conflicts: 81000 | #Constraints: 32162
237.54/238.27 c #Conflicts: 82000 | #Constraints: 33162
237.54/238.27 c #Conflicts: 83000 | #Constraints: 34162
237.54/238.27 c #Conflicts: 84000 | #Constraints: 35162
237.54/238.27 c #Conflicts: 85000 | #Constraints: 36162
237.54/238.27 c #Conflicts: 86000 | #Constraints: 37162
237.54/238.27 c #Conflicts: 87000 | #Constraints: 38162
237.54/238.27 c #Conflicts: 88000 | #Constraints: 39162
237.54/238.27 c #Conflicts: 89000 | #Constraints: 40162
237.54/238.27 c #Conflicts: 90000 | #Constraints: 41162
237.54/238.27 c #Conflicts: 91000 | #Constraints: 42162
237.54/238.27 c #Conflicts: 92000 | #Constraints: 43162
237.54/238.27 c #Conflicts: 93000 | #Constraints: 44162
237.54/238.27 c #Conflicts: 94000 | #Constraints: 45162
237.54/238.27 c #Conflicts: 95000 | #Constraints: 46162
237.54/238.27 c #Conflicts: 96000 | #Constraints: 47162
237.54/238.27 c INPROCESSING
237.54/238.27 c GARBAGE COLLECT
237.54/238.27 c #Conflicts: 97000 | #Constraints: 33637
237.54/238.27 c #Conflicts: 98000 | #Constraints: 34637
237.54/238.27 c #Conflicts: 99000 | #Constraints: 35637
237.54/238.27 c #Conflicts: 100000 | #Constraints: 36637
237.54/238.27 c #Conflicts: 101000 | #Constraints: 37637
237.54/238.27 c #Conflicts: 102000 | #Constraints: 38637
237.54/238.27 c #Conflicts: 103000 | #Constraints: 39637
237.54/238.27 c #Conflicts: 104000 | #Constraints: 40637
237.54/238.27 c #Conflicts: 105000 | #Constraints: 41637
237.54/238.27 c INPROCESSING
237.54/238.27 c GARBAGE COLLECT
237.54/238.27 c #Conflicts: 106000 | #Constraints: 31149
237.54/238.27 c #Conflicts: 107000 | #Constraints: 32149
237.54/238.27 c #Conflicts: 108000 | #Constraints: 33149
237.54/238.27 c #Conflicts: 109000 | #Constraints: 34149
237.54/238.27 c #Conflicts: 110000 | #Constraints: 35149
237.54/238.27 c #Conflicts: 111000 | #Constraints: 36149
237.54/238.27 c #Conflicts: 112000 | #Constraints: 37149
237.54/238.27 c #Conflicts: 113000 | #Constraints: 38149
237.54/238.27 c #Conflicts: 114000 | #Constraints: 39149
237.54/238.27 c #Conflicts: 115000 | #Constraints: 40149
237.54/238.27 c #Conflicts: 116000 | #Constraints: 41149
237.54/238.27 c #Conflicts: 117000 | #Constraints: 42149
237.54/238.27 c #Conflicts: 118000 | #Constraints: 43149
237.54/238.27 c #Conflicts: 119000 | #Constraints: 44149
237.54/238.27 c #Conflicts: 120000 | #Constraints: 45149
237.54/238.27 c #Conflicts: 121000 | #Constraints: 46149
237.54/238.27 c #Conflicts: 122000 | #Constraints: 47149
237.54/238.27 c #Conflicts: 123000 | #Constraints: 48149
237.54/238.27 c #Conflicts: 124000 | #Constraints: 49149
237.54/238.27 c #Conflicts: 125000 | #Constraints: 50149
237.54/238.27 c #Conflicts: 126000 | #Constraints: 51149
237.54/238.27 c #Conflicts: 127000 | #Constraints: 52149
237.54/238.27 c #Conflicts: 128000 | #Constraints: 53149
237.54/238.27 c INPROCESSING
237.54/238.27 c GARBAGE COLLECT
237.54/238.27 c #Conflicts: 129000 | #Constraints: 37005
237.54/238.27 c #Conflicts: 130000 | #Constraints: 38005
237.54/238.27 c #Conflicts: 131000 | #Constraints: 39005
237.54/238.27 c #Conflicts: 132000 | #Constraints: 40005
237.54/238.27 c #Conflicts: 133000 | #Constraints: 41005
237.54/238.27 c #Conflicts: 134000 | #Constraints: 42005
237.54/238.27 c #Conflicts: 135000 | #Constraints: 43005
237.54/238.27 c #Conflicts: 136000 | #Constraints: 44005
237.54/238.27 c #Conflicts: 137000 | #Constraints: 45005
237.54/238.27 c INPROCESSING
237.54/238.27 c GARBAGE COLLECT
237.54/238.27 c #Conflicts: 138000 | #Constraints: 32711
237.54/238.27 c #Conflicts: 139000 | #Constraints: 33711
237.54/238.27 c #Conflicts: 140000 | #Constraints: 34711
237.54/238.27 c #Conflicts: 141000 | #Constraints: 35711
237.54/238.27 c #Conflicts: 142000 | #Constraints: 36711
237.54/238.27 c #Conflicts: 143000 | #Constraints: 37711
237.54/238.27 c #Conflicts: 144000 | #Constraints: 38711
237.54/238.27 c #Conflicts: 145000 | #Constraints: 39711
237.54/238.27 c #Conflicts: 146000 | #Constraints: 40711
237.54/238.27 c #Conflicts: 147000 | #Constraints: 41711
376.60/377.69 c #Conflicts: 148000 | #Constraints: 42711
376.60/377.69 c #Conflicts: 149000 | #Constraints: 43711
376.60/377.69 c #Conflicts: 150000 | #Constraints: 44711
376.60/377.69 c #Conflicts: 151000 | #Constraints: 45711
376.60/377.69 c #Conflicts: 152000 | #Constraints: 46711
376.60/377.69 c #Conflicts: 153000 | #Constraints: 47711
376.60/377.69 c #Conflicts: 154000 | #Constraints: 48711
376.60/377.69 c #Conflicts: 155000 | #Constraints: 49711
376.60/377.69 c #Conflicts: 156000 | #Constraints: 50711
376.60/377.69 c #Conflicts: 157000 | #Constraints: 51711
376.60/377.69 c #Conflicts: 158000 | #Constraints: 52711
376.60/377.69 c #Conflicts: 159000 | #Constraints: 53711
376.60/377.69 c #Conflicts: 160000 | #Constraints: 54711
376.60/377.69 c #Conflicts: 161000 | #Constraints: 55711
376.60/377.69 c #Conflicts: 162000 | #Constraints: 56711
376.60/377.69 c #Conflicts: 163000 | #Constraints: 57711
376.60/377.69 c INPROCESSING
376.60/377.69 c GARBAGE COLLECT
376.60/377.69 c #Conflicts: 164000 | #Constraints: 39013
376.60/377.69 c #Conflicts: 165000 | #Constraints: 40013
376.60/377.69 c #Conflicts: 166000 | #Constraints: 41013
376.60/377.69 c #Conflicts: 167000 | #Constraints: 42013
376.60/377.69 c #Conflicts: 168000 | #Constraints: 43013
376.60/377.69 c #Conflicts: 169000 | #Constraints: 44013
376.60/377.69 c #Conflicts: 170000 | #Constraints: 45013
376.60/377.69 c #Conflicts: 171000 | #Constraints: 46013
376.60/377.69 c #Conflicts: 172000 | #Constraints: 47013
376.60/377.69 c #Conflicts: 173000 | #Constraints: 48013
376.60/377.69 c #Conflicts: 174000 | #Constraints: 49013
376.60/377.69 c INPROCESSING
376.60/377.69 c GARBAGE COLLECT
376.60/377.69 c #Conflicts: 175000 | #Constraints: 34972
376.60/377.69 c #Conflicts: 176000 | #Constraints: 35972
376.60/377.69 c #Conflicts: 177000 | #Constraints: 36972
376.60/377.69 c #Conflicts: 178000 | #Constraints: 37972
376.60/377.69 c #Conflicts: 179000 | #Constraints: 38972
376.60/377.69 c #Conflicts: 180000 | #Constraints: 39972
376.60/377.69 c #Conflicts: 181000 | #Constraints: 40972
376.60/377.69 c #Conflicts: 182000 | #Constraints: 41972
376.60/377.69 c #Conflicts: 183000 | #Constraints: 42972
376.60/377.69 c #Conflicts: 184000 | #Constraints: 43972
376.60/377.69 c #Conflicts: 185000 | #Constraints: 44972
376.60/377.69 c #Conflicts: 186000 | #Constraints: 45972
376.60/377.69 c #Conflicts: 187000 | #Constraints: 46972
376.60/377.69 c #Conflicts: 188000 | #Constraints: 47972
376.60/377.69 c #Conflicts: 189000 | #Constraints: 48972
376.60/377.69 c #Conflicts: 190000 | #Constraints: 49972
376.60/377.69 c #Conflicts: 191000 | #Constraints: 50972
376.60/377.69 c #Conflicts: 192000 | #Constraints: 51972
376.60/377.69 c #Conflicts: 193000 | #Constraints: 52972
376.60/377.69 c #Conflicts: 194000 | #Constraints: 53972
376.60/377.69 c #Conflicts: 195000 | #Constraints: 54972
376.60/377.69 c #Conflicts: 196000 | #Constraints: 55972
376.60/377.69 c #Conflicts: 197000 | #Constraints: 56972
376.60/377.69 c #Conflicts: 198000 | #Constraints: 57972
376.60/377.69 c #Conflicts: 199000 | #Constraints: 58972
376.60/377.69 c #Conflicts: 200000 | #Constraints: 59972
376.60/377.69 c #Conflicts: 201000 | #Constraints: 60972
376.60/377.69 c #Conflicts: 202000 | #Constraints: 61972
376.60/377.69 c #Conflicts: 203000 | #Constraints: 62972
376.60/377.69 c #Conflicts: 204000 | #Constraints: 63972
376.60/377.69 c INPROCESSING
376.60/377.69 c GARBAGE COLLECT
376.60/377.69 c #Conflicts: 205000 | #Constraints: 42661
376.60/377.69 c #Conflicts: 206000 | #Constraints: 43661
376.60/377.69 c #Conflicts: 207000 | #Constraints: 44661
376.60/377.69 c #Conflicts: 208000 | #Constraints: 45661
376.60/377.69 c #Conflicts: 209000 | #Constraints: 46661
376.60/377.69 c #Conflicts: 210000 | #Constraints: 47661
376.60/377.69 c #Conflicts: 211000 | #Constraints: 48661
376.60/377.69 c #Conflicts: 212000 | #Constraints: 49661
376.60/377.69 c #Conflicts: 213000 | #Constraints: 50661
376.60/377.69 c #Conflicts: 214000 | #Constraints: 51661
376.60/377.69 c #Conflicts: 215000 | #Constraints: 52661
376.60/377.69 c #Conflicts: 216000 | #Constraints: 53661
376.60/377.69 c INPROCESSING
376.60/377.69 c GARBAGE COLLECT
376.60/377.69 c rational objective 150
453.82/455.09 c #Conflicts: 217000 | #Constraints: 37301
453.82/455.09 c #Conflicts: 218000 | #Constraints: 38301
453.82/455.09 c #Conflicts: 219000 | #Constraints: 39301
453.82/455.09 c #Conflicts: 220000 | #Constraints: 40301
453.82/455.09 c #Conflicts: 221000 | #Constraints: 41301
453.82/455.09 c #Conflicts: 222000 | #Constraints: 42301
453.82/455.09 c #Conflicts: 223000 | #Constraints: 43301
453.82/455.09 c #Conflicts: 224000 | #Constraints: 44301
453.82/455.09 c #Conflicts: 225000 | #Constraints: 45301
453.82/455.09 c #Conflicts: 226000 | #Constraints: 46301
453.82/455.09 c #Conflicts: 227000 | #Constraints: 47301
453.82/455.09 c #Conflicts: 228000 | #Constraints: 48301
453.82/455.09 c #Conflicts: 229000 | #Constraints: 49301
453.82/455.09 c #Conflicts: 230000 | #Constraints: 50301
453.82/455.09 c #Conflicts: 231000 | #Constraints: 51301
453.82/455.09 c #Conflicts: 232000 | #Constraints: 52301
453.82/455.09 c #Conflicts: 233000 | #Constraints: 53301
453.82/455.09 c #Conflicts: 234000 | #Constraints: 54301
453.82/455.09 c #Conflicts: 235000 | #Constraints: 55301
453.82/455.09 c #Conflicts: 236000 | #Constraints: 56301
453.82/455.09 c #Conflicts: 237000 | #Constraints: 57301
453.82/455.09 c #Conflicts: 238000 | #Constraints: 58301
453.82/455.09 c #Conflicts: 239000 | #Constraints: 59301
453.82/455.09 c #Conflicts: 240000 | #Constraints: 60301
453.82/455.09 c #Conflicts: 241000 | #Constraints: 61301
453.82/455.09 c #Conflicts: 242000 | #Constraints: 62301
453.82/455.09 c #Conflicts: 243000 | #Constraints: 63301
453.82/455.09 c #Conflicts: 244000 | #Constraints: 64301
453.82/455.09 c #Conflicts: 245000 | #Constraints: 65301
453.82/455.09 c #Conflicts: 246000 | #Constraints: 66301
453.82/455.09 c #Conflicts: 247000 | #Constraints: 67301
453.82/455.09 c #Conflicts: 248000 | #Constraints: 68301
453.82/455.09 c INPROCESSING
453.82/455.09 c GARBAGE COLLECT
453.82/455.09 c rational objective 150
607.15/608.73 c #Conflicts: 249000 | #Constraints: 44434
607.15/608.73 c #Conflicts: 250000 | #Constraints: 45434
607.15/608.73 c #Conflicts: 251000 | #Constraints: 46434
607.15/608.73 c #Conflicts: 252000 | #Constraints: 47434
607.15/608.73 c #Conflicts: 253000 | #Constraints: 48434
607.15/608.73 c #Conflicts: 254000 | #Constraints: 49434
607.15/608.73 c #Conflicts: 255000 | #Constraints: 50434
607.15/608.73 c #Conflicts: 256000 | #Constraints: 51435
607.15/608.73 c #Conflicts: 257000 | #Constraints: 52435
607.15/608.73 c #Conflicts: 258000 | #Constraints: 53435
607.15/608.73 c #Conflicts: 259000 | #Constraints: 54435
607.15/608.73 c #Conflicts: 260000 | #Constraints: 55435
607.15/608.73 c #Conflicts: 261000 | #Constraints: 56435
607.15/608.73 c #Conflicts: 262000 | #Constraints: 57435
607.15/608.73 c INPROCESSING
607.15/608.73 c GARBAGE COLLECT
607.15/608.73 c #Conflicts: 263000 | #Constraints: 39636
607.15/608.73 c #Conflicts: 264000 | #Constraints: 40636
607.15/608.73 c #Conflicts: 265000 | #Constraints: 41636
607.15/608.73 c #Conflicts: 266000 | #Constraints: 42636
607.15/608.73 c #Conflicts: 267000 | #Constraints: 43636
607.15/608.73 c #Conflicts: 268000 | #Constraints: 44636
607.15/608.73 c #Conflicts: 269000 | #Constraints: 45636
607.15/608.73 c #Conflicts: 270000 | #Constraints: 46636
607.15/608.73 c #Conflicts: 271000 | #Constraints: 47636
607.15/608.73 c #Conflicts: 272000 | #Constraints: 48636
607.15/608.73 c #Conflicts: 273000 | #Constraints: 49636
607.15/608.73 c #Conflicts: 274000 | #Constraints: 50636
607.15/608.73 c #Conflicts: 275000 | #Constraints: 51636
607.15/608.73 c #Conflicts: 276000 | #Constraints: 52636
607.15/608.73 c #Conflicts: 277000 | #Constraints: 53636
607.15/608.73 c #Conflicts: 278000 | #Constraints: 54636
607.15/608.73 c #Conflicts: 279000 | #Constraints: 55637
607.15/608.73 c #Conflicts: 280000 | #Constraints: 56637
607.15/608.73 c #Conflicts: 281000 | #Constraints: 57637
607.15/608.73 c #Conflicts: 282000 | #Constraints: 58637
607.15/608.73 c #Conflicts: 283000 | #Constraints: 59637
607.15/608.73 c #Conflicts: 284000 | #Constraints: 60637
607.15/608.73 c #Conflicts: 285000 | #Constraints: 61637
607.15/608.73 c #Conflicts: 286000 | #Constraints: 62637
607.15/608.73 c #Conflicts: 287000 | #Constraints: 63637
607.15/608.73 c #Conflicts: 288000 | #Constraints: 64637
607.15/608.73 c #Conflicts: 289000 | #Constraints: 65637
607.15/608.73 c #Conflicts: 290000 | #Constraints: 66638
607.15/608.73 c #Conflicts: 291000 | #Constraints: 67638
607.15/608.73 c #Conflicts: 292000 | #Constraints: 68638
607.15/608.73 c #Conflicts: 293000 | #Constraints: 69638
607.15/608.73 c #Conflicts: 294000 | #Constraints: 70638
607.15/608.73 c #Conflicts: 295000 | #Constraints: 71638
607.15/608.73 c #Conflicts: 296000 | #Constraints: 72638
607.15/608.73 c #Conflicts: 297000 | #Constraints: 73638
607.15/608.73 c INPROCESSING
607.15/608.73 c GARBAGE COLLECT
607.15/608.73 c #Conflicts: 298000 | #Constraints: 47231
607.15/608.73 c #Conflicts: 299000 | #Constraints: 48231
607.15/608.73 c #Conflicts: 300000 | #Constraints: 49231
607.15/608.73 c #Conflicts: 301000 | #Constraints: 50231
607.15/608.73 c #Conflicts: 302000 | #Constraints: 51232
607.15/608.73 c #Conflicts: 303000 | #Constraints: 52232
607.15/608.73 c #Conflicts: 304000 | #Constraints: 53232
607.15/608.73 c #Conflicts: 305000 | #Constraints: 54232
607.15/608.73 c #Conflicts: 306000 | #Constraints: 55232
607.15/608.73 c #Conflicts: 307000 | #Constraints: 56232
607.15/608.73 c #Conflicts: 308000 | #Constraints: 57232
607.15/608.73 c #Conflicts: 309000 | #Constraints: 58232
607.15/608.73 c #Conflicts: 310000 | #Constraints: 59232
607.15/608.73 c #Conflicts: 311000 | #Constraints: 60232
607.15/608.73 c #Conflicts: 312000 | #Constraints: 61232
607.15/608.73 c INPROCESSING
607.15/608.73 c GARBAGE COLLECT
607.15/608.73 c #Conflicts: 313000 | #Constraints: 41637
607.15/608.73 c #Conflicts: 314000 | #Constraints: 42637
607.15/608.73 c #Conflicts: 315000 | #Constraints: 43637
607.15/608.73 c #Conflicts: 316000 | #Constraints: 44637
607.15/608.73 c #Conflicts: 317000 | #Constraints: 45637
607.15/608.73 c #Conflicts: 318000 | #Constraints: 46637
607.15/608.73 c #Conflicts: 319000 | #Constraints: 47637
607.15/608.73 c #Conflicts: 320000 | #Constraints: 48637
607.15/608.73 c #Conflicts: 321000 | #Constraints: 49637
607.15/608.73 c #Conflicts: 322000 | #Constraints: 50637
607.15/608.73 c #Conflicts: 323000 | #Constraints: 51637
607.15/608.73 c #Conflicts: 324000 | #Constraints: 52637
607.15/608.73 c #Conflicts: 325000 | #Constraints: 53637
777.53/779.55 c #Conflicts: 326000 | #Constraints: 54637
777.53/779.55 c #Conflicts: 327000 | #Constraints: 55637
777.53/779.55 c #Conflicts: 328000 | #Constraints: 56637
777.53/779.55 c #Conflicts: 329000 | #Constraints: 57637
777.53/779.55 c #Conflicts: 330000 | #Constraints: 58637
777.53/779.55 c #Conflicts: 331000 | #Constraints: 59637
777.53/779.55 c #Conflicts: 332000 | #Constraints: 60637
777.53/779.55 c #Conflicts: 333000 | #Constraints: 61637
777.53/779.55 c #Conflicts: 334000 | #Constraints: 62637
777.53/779.55 c #Conflicts: 335000 | #Constraints: 63637
777.53/779.55 c #Conflicts: 336000 | #Constraints: 64637
777.53/779.55 c #Conflicts: 337000 | #Constraints: 65637
777.53/779.55 c #Conflicts: 338000 | #Constraints: 66637
777.53/779.55 c #Conflicts: 339000 | #Constraints: 67637
777.53/779.55 c #Conflicts: 340000 | #Constraints: 68637
777.53/779.55 c #Conflicts: 341000 | #Constraints: 69637
777.53/779.55 c #Conflicts: 342000 | #Constraints: 70637
777.53/779.55 c #Conflicts: 343000 | #Constraints: 71637
777.53/779.55 c #Conflicts: 344000 | #Constraints: 72637
777.53/779.55 c #Conflicts: 345000 | #Constraints: 73637
777.53/779.55 c #Conflicts: 346000 | #Constraints: 74637
777.53/779.55 c #Conflicts: 347000 | #Constraints: 75637
777.53/779.55 c #Conflicts: 348000 | #Constraints: 76637
777.53/779.55 c #Conflicts: 349000 | #Constraints: 77637
777.53/779.55 c #Conflicts: 350000 | #Constraints: 78637
777.53/779.55 c #Conflicts: 351000 | #Constraints: 79637
777.53/779.55 c INPROCESSING
777.53/779.55 c GARBAGE COLLECT
777.53/779.55 c #Conflicts: 352000 | #Constraints: 50659
777.53/779.55 c #Conflicts: 353000 | #Constraints: 51659
777.53/779.55 c #Conflicts: 354000 | #Constraints: 52659
777.53/779.55 c #Conflicts: 355000 | #Constraints: 53659
777.53/779.55 c #Conflicts: 356000 | #Constraints: 54659
777.53/779.55 c #Conflicts: 357000 | #Constraints: 55659
777.53/779.55 c #Conflicts: 358000 | #Constraints: 56659
777.53/779.55 c #Conflicts: 359000 | #Constraints: 57659
777.53/779.55 c #Conflicts: 360000 | #Constraints: 58659
777.53/779.55 c #Conflicts: 361000 | #Constraints: 59659
777.53/779.55 c #Conflicts: 362000 | #Constraints: 60659
777.53/779.55 c #Conflicts: 363000 | #Constraints: 61659
777.53/779.55 c #Conflicts: 364000 | #Constraints: 62659
777.53/779.55 c #Conflicts: 365000 | #Constraints: 63659
777.53/779.55 c #Conflicts: 366000 | #Constraints: 64659
777.53/779.55 c #Conflicts: 367000 | #Constraints: 65659
777.53/779.55 c INPROCESSING
777.53/779.55 c GARBAGE COLLECT
777.53/779.55 c #Conflicts: 368000 | #Constraints: 44213
777.53/779.55 c #Conflicts: 369000 | #Constraints: 45213
777.53/779.55 c #Conflicts: 370000 | #Constraints: 46213
777.53/779.55 c #Conflicts: 371000 | #Constraints: 47213
777.53/779.55 c #Conflicts: 372000 | #Constraints: 48213
777.53/779.55 c #Conflicts: 373000 | #Constraints: 49213
777.53/779.55 c #Conflicts: 374000 | #Constraints: 50213
777.53/779.55 c #Conflicts: 375000 | #Constraints: 51213
777.53/779.55 c #Conflicts: 376000 | #Constraints: 52213
777.53/779.55 c #Conflicts: 377000 | #Constraints: 53213
777.53/779.55 c #Conflicts: 378000 | #Constraints: 54213
777.53/779.55 c #Conflicts: 379000 | #Constraints: 55213
777.53/779.55 c #Conflicts: 380000 | #Constraints: 56213
777.53/779.55 c #Conflicts: 381000 | #Constraints: 57213
777.53/779.55 c #Conflicts: 382000 | #Constraints: 58213
777.53/779.55 c #Conflicts: 383000 | #Constraints: 59213
777.53/779.55 c #Conflicts: 384000 | #Constraints: 60213
777.53/779.55 c #Conflicts: 385000 | #Constraints: 61213
777.53/779.55 c #Conflicts: 386000 | #Constraints: 62213
777.53/779.55 c #Conflicts: 387000 | #Constraints: 63213
777.53/779.55 c #Conflicts: 388000 | #Constraints: 64213
777.53/779.55 c #Conflicts: 389000 | #Constraints: 65213
777.53/779.55 c #Conflicts: 390000 | #Constraints: 66213
777.53/779.55 c #Conflicts: 391000 | #Constraints: 67213
777.53/779.55 c #Conflicts: 392000 | #Constraints: 68213
777.53/779.55 c #Conflicts: 393000 | #Constraints: 69213
777.53/779.55 c #Conflicts: 394000 | #Constraints: 70213
777.53/779.55 c #Conflicts: 395000 | #Constraints: 71213
777.53/779.55 c #Conflicts: 396000 | #Constraints: 72213
777.53/779.55 c #Conflicts: 397000 | #Constraints: 73213
777.53/779.55 c #Conflicts: 398000 | #Constraints: 74213
777.53/779.55 c #Conflicts: 399000 | #Constraints: 75213
777.53/779.55 c #Conflicts: 400000 | #Constraints: 76213
777.53/779.55 c #Conflicts: 401000 | #Constraints: 77213
777.53/779.55 c #Conflicts: 402000 | #Constraints: 78213
777.53/779.55 c #Conflicts: 403000 | #Constraints: 79213
947.83/950.22 c #Conflicts: 404000 | #Constraints: 80213
947.83/950.22 c #Conflicts: 405000 | #Constraints: 81213
947.83/950.22 c #Conflicts: 406000 | #Constraints: 82213
947.83/950.22 c #Conflicts: 407000 | #Constraints: 83213
947.83/950.22 c #Conflicts: 408000 | #Constraints: 84213
947.83/950.22 c INPROCESSING
947.83/950.22 c GARBAGE COLLECT
947.83/950.22 c #Conflicts: 409000 | #Constraints: 52531
947.83/950.22 c #Conflicts: 410000 | #Constraints: 53531
947.83/950.22 c #Conflicts: 411000 | #Constraints: 54531
947.83/950.22 c #Conflicts: 412000 | #Constraints: 55531
947.83/950.22 c #Conflicts: 413000 | #Constraints: 56531
947.83/950.22 c #Conflicts: 414000 | #Constraints: 57531
947.83/950.22 c #Conflicts: 415000 | #Constraints: 58531
947.83/950.22 c #Conflicts: 416000 | #Constraints: 59531
947.83/950.22 c #Conflicts: 417000 | #Constraints: 60531
947.83/950.22 c #Conflicts: 418000 | #Constraints: 61531
947.83/950.22 c #Conflicts: 419000 | #Constraints: 62531
947.83/950.22 c #Conflicts: 420000 | #Constraints: 63531
947.83/950.22 c #Conflicts: 421000 | #Constraints: 64531
947.83/950.22 c #Conflicts: 422000 | #Constraints: 65531
947.83/950.22 c #Conflicts: 423000 | #Constraints: 66531
947.83/950.22 c #Conflicts: 424000 | #Constraints: 67531
947.83/950.22 c #Conflicts: 425000 | #Constraints: 68531
947.83/950.22 c #Conflicts: 426000 | #Constraints: 69531
947.83/950.22 c INPROCESSING
947.83/950.22 c GARBAGE COLLECT
947.83/950.22 c #Conflicts: 427000 | #Constraints: 46791
947.83/950.22 c #Conflicts: 428000 | #Constraints: 47791
947.83/950.22 c #Conflicts: 429000 | #Constraints: 48791
947.83/950.22 c #Conflicts: 430000 | #Constraints: 49791
947.83/950.22 c #Conflicts: 431000 | #Constraints: 50791
947.83/950.22 c #Conflicts: 432000 | #Constraints: 51791
947.83/950.22 c #Conflicts: 433000 | #Constraints: 52791
947.83/950.22 c #Conflicts: 434000 | #Constraints: 53791
947.83/950.22 c #Conflicts: 435000 | #Constraints: 54791
947.83/950.22 c #Conflicts: 436000 | #Constraints: 55791
947.83/950.22 c #Conflicts: 437000 | #Constraints: 56791
947.83/950.22 c #Conflicts: 438000 | #Constraints: 57791
947.83/950.22 c #Conflicts: 439000 | #Constraints: 58791
947.83/950.22 c #Conflicts: 440000 | #Constraints: 59791
947.83/950.22 c #Conflicts: 441000 | #Constraints: 60792
947.83/950.22 c #Conflicts: 442000 | #Constraints: 61792
947.83/950.22 c #Conflicts: 443000 | #Constraints: 62792
947.83/950.22 c #Conflicts: 444000 | #Constraints: 63792
947.83/950.22 c #Conflicts: 445000 | #Constraints: 64792
947.83/950.22 c #Conflicts: 446000 | #Constraints: 65792
947.83/950.22 c #Conflicts: 447000 | #Constraints: 66792
947.83/950.22 c #Conflicts: 448000 | #Constraints: 67792
947.83/950.22 c #Conflicts: 449000 | #Constraints: 68792
947.83/950.22 c #Conflicts: 450000 | #Constraints: 69792
947.83/950.22 c #Conflicts: 451000 | #Constraints: 70792
947.83/950.22 c #Conflicts: 452000 | #Constraints: 71792
947.83/950.22 c #Conflicts: 453000 | #Constraints: 72792
947.83/950.22 c #Conflicts: 454000 | #Constraints: 73792
947.83/950.22 c #Conflicts: 455000 | #Constraints: 74792
947.83/950.22 c #Conflicts: 456000 | #Constraints: 75792
947.83/950.22 c #Conflicts: 457000 | #Constraints: 76792
947.83/950.22 c #Conflicts: 458000 | #Constraints: 77792
947.83/950.22 c #Conflicts: 459000 | #Constraints: 78792
947.83/950.22 c #Conflicts: 460000 | #Constraints: 79792
947.83/950.22 c #Conflicts: 461000 | #Constraints: 80792
947.83/950.22 c #Conflicts: 462000 | #Constraints: 81792
947.83/950.22 c #Conflicts: 463000 | #Constraints: 82792
947.83/950.22 c #Conflicts: 464000 | #Constraints: 83792
947.83/950.22 c #Conflicts: 465000 | #Constraints: 84792
947.83/950.22 c #Conflicts: 466000 | #Constraints: 85792
947.83/950.22 c #Conflicts: 467000 | #Constraints: 86792
947.83/950.22 c #Conflicts: 468000 | #Constraints: 87792
947.83/950.22 c #Conflicts: 469000 | #Constraints: 88792
947.83/950.22 c #Conflicts: 470000 | #Constraints: 89792
947.83/950.22 c #Conflicts: 471000 | #Constraints: 90792
947.83/950.22 c INPROCESSING
947.83/950.22 c GARBAGE COLLECT
947.83/950.22 c #Conflicts: 472000 | #Constraints: 56229
947.83/950.22 c #Conflicts: 473000 | #Constraints: 57229
947.83/950.22 c #Conflicts: 474000 | #Constraints: 58229
947.83/950.22 c #Conflicts: 475000 | #Constraints: 59229
947.83/950.22 c #Conflicts: 476000 | #Constraints: 60229
947.83/950.22 c #Conflicts: 477000 | #Constraints: 61229
947.83/950.22 c #Conflicts: 478000 | #Constraints: 62229
947.83/950.22 c #Conflicts: 479000 | #Constraints: 63229
947.83/950.22 c #Conflicts: 480000 | #Constraints: 64229
1123.50/1126.34 c #Conflicts: 481000 | #Constraints: 65229
1123.50/1126.34 c #Conflicts: 482000 | #Constraints: 66229
1123.50/1126.34 c #Conflicts: 483000 | #Constraints: 67229
1123.50/1126.34 c #Conflicts: 484000 | #Constraints: 68229
1123.50/1126.34 c #Conflicts: 485000 | #Constraints: 69229
1123.50/1126.34 c #Conflicts: 486000 | #Constraints: 70229
1123.50/1126.34 c #Conflicts: 487000 | #Constraints: 71229
1123.50/1126.34 c #Conflicts: 488000 | #Constraints: 72229
1123.50/1126.34 c #Conflicts: 489000 | #Constraints: 73229
1123.50/1126.34 c INPROCESSING
1123.50/1126.34 c GARBAGE COLLECT
1123.50/1126.34 c #Conflicts: 490000 | #Constraints: 48267
1123.50/1126.34 c #Conflicts: 491000 | #Constraints: 49267
1123.50/1126.34 c #Conflicts: 492000 | #Constraints: 50267
1123.50/1126.34 c #Conflicts: 493000 | #Constraints: 51267
1123.50/1126.34 c #Conflicts: 494000 | #Constraints: 52267
1123.50/1126.34 c #Conflicts: 495000 | #Constraints: 53267
1123.50/1126.34 c #Conflicts: 496000 | #Constraints: 54267
1123.50/1126.34 c #Conflicts: 497000 | #Constraints: 55267
1123.50/1126.34 c #Conflicts: 498000 | #Constraints: 56267
1123.50/1126.34 c #Conflicts: 499000 | #Constraints: 57267
1123.50/1126.34 c #Conflicts: 500000 | #Constraints: 58267
1123.50/1126.34 c #Conflicts: 501000 | #Constraints: 59267
1123.50/1126.34 c #Conflicts: 502000 | #Constraints: 60267
1123.50/1126.34 c #Conflicts: 503000 | #Constraints: 61267
1123.50/1126.34 c #Conflicts: 504000 | #Constraints: 62267
1123.50/1126.34 c #Conflicts: 505000 | #Constraints: 63267
1123.50/1126.34 c #Conflicts: 506000 | #Constraints: 64267
1123.50/1126.34 c #Conflicts: 507000 | #Constraints: 65267
1123.50/1126.34 c #Conflicts: 508000 | #Constraints: 66267
1123.50/1126.34 c #Conflicts: 509000 | #Constraints: 67267
1123.50/1126.34 c #Conflicts: 510000 | #Constraints: 68267
1123.50/1126.34 c #Conflicts: 511000 | #Constraints: 69267
1123.50/1126.34 c #Conflicts: 512000 | #Constraints: 70267
1123.50/1126.34 c #Conflicts: 513000 | #Constraints: 71267
1123.50/1126.34 c #Conflicts: 514000 | #Constraints: 72267
1123.50/1126.34 c #Conflicts: 515000 | #Constraints: 73267
1123.50/1126.34 c #Conflicts: 516000 | #Constraints: 74267
1123.50/1126.34 c #Conflicts: 517000 | #Constraints: 75267
1123.50/1126.34 c #Conflicts: 518000 | #Constraints: 76267
1123.50/1126.34 c #Conflicts: 519000 | #Constraints: 77267
1123.50/1126.34 c #Conflicts: 520000 | #Constraints: 78267
1123.50/1126.34 c #Conflicts: 521000 | #Constraints: 79267
1123.50/1126.34 c #Conflicts: 522000 | #Constraints: 80267
1123.50/1126.34 c #Conflicts: 523000 | #Constraints: 81267
1123.50/1126.34 c #Conflicts: 524000 | #Constraints: 82267
1123.50/1126.34 c #Conflicts: 525000 | #Constraints: 83267
1123.50/1126.34 c #Conflicts: 526000 | #Constraints: 84267
1123.50/1126.34 c #Conflicts: 527000 | #Constraints: 85267
1123.50/1126.34 c #Conflicts: 528000 | #Constraints: 86267
1123.50/1126.34 c #Conflicts: 529000 | #Constraints: 87267
1123.50/1126.34 c #Conflicts: 530000 | #Constraints: 88267
1123.50/1126.34 c #Conflicts: 531000 | #Constraints: 89267
1123.50/1126.34 c #Conflicts: 532000 | #Constraints: 90267
1123.50/1126.34 c #Conflicts: 533000 | #Constraints: 91267
1123.50/1126.34 c #Conflicts: 534000 | #Constraints: 92267
1123.50/1126.34 c #Conflicts: 535000 | #Constraints: 93267
1123.50/1126.34 c #Conflicts: 536000 | #Constraints: 94267
1123.50/1126.34 c #Conflicts: 537000 | #Constraints: 95267
1123.50/1126.34 c INPROCESSING
1123.50/1126.34 c GARBAGE COLLECT
1123.50/1126.34 c #Conflicts: 538000 | #Constraints: 58284
1123.50/1126.34 c #Conflicts: 539000 | #Constraints: 59284
1123.50/1126.34 c #Conflicts: 540000 | #Constraints: 60284
1123.50/1126.34 c #Conflicts: 541000 | #Constraints: 61284
1123.50/1126.34 c #Conflicts: 542000 | #Constraints: 62284
1123.50/1126.34 c #Conflicts: 543000 | #Constraints: 63284
1123.50/1126.34 c #Conflicts: 544000 | #Constraints: 64284
1123.50/1126.34 c #Conflicts: 545000 | #Constraints: 65284
1123.50/1126.34 c #Conflicts: 546000 | #Constraints: 66284
1123.50/1126.34 c #Conflicts: 547000 | #Constraints: 67284
1123.50/1126.34 c #Conflicts: 548000 | #Constraints: 68284
1123.50/1126.34 c #Conflicts: 549000 | #Constraints: 69284
1123.50/1126.34 c #Conflicts: 550000 | #Constraints: 70284
1123.50/1126.34 c #Conflicts: 551000 | #Constraints: 71284
1123.50/1126.34 c #Conflicts: 552000 | #Constraints: 72284
1123.50/1126.34 c #Conflicts: 553000 | #Constraints: 73284
1123.50/1126.34 c #Conflicts: 554000 | #Constraints: 74284
1123.50/1126.34 c #Conflicts: 555000 | #Constraints: 75284
1123.50/1126.34 c #Conflicts: 556000 | #Constraints: 76284
1123.50/1126.34 c #Conflicts: 557000 | #Constraints: 77284
1302.67/1305.90 c INPROCESSING
1302.67/1305.90 c GARBAGE COLLECT
1302.67/1305.90 c #Conflicts: 558000 | #Constraints: 50919
1302.67/1305.90 c #Conflicts: 559000 | #Constraints: 51919
1302.67/1305.90 c #Conflicts: 560000 | #Constraints: 52919
1302.67/1305.90 c #Conflicts: 561000 | #Constraints: 53919
1302.67/1305.90 c #Conflicts: 562000 | #Constraints: 54919
1302.67/1305.90 c #Conflicts: 563000 | #Constraints: 55919
1302.67/1305.90 c #Conflicts: 564000 | #Constraints: 56919
1302.67/1305.90 c #Conflicts: 565000 | #Constraints: 57919
1302.67/1305.90 c #Conflicts: 566000 | #Constraints: 58919
1302.67/1305.90 c #Conflicts: 567000 | #Constraints: 59919
1302.67/1305.90 c #Conflicts: 568000 | #Constraints: 60919
1302.67/1305.90 c #Conflicts: 569000 | #Constraints: 61919
1302.67/1305.90 c #Conflicts: 570000 | #Constraints: 62919
1302.67/1305.90 c #Conflicts: 571000 | #Constraints: 63919
1302.67/1305.90 c #Conflicts: 572000 | #Constraints: 64919
1302.67/1305.90 c #Conflicts: 573000 | #Constraints: 65919
1302.67/1305.90 c #Conflicts: 574000 | #Constraints: 66919
1302.67/1305.90 c #Conflicts: 575000 | #Constraints: 67919
1302.67/1305.90 c #Conflicts: 576000 | #Constraints: 68919
1302.67/1305.90 c #Conflicts: 577000 | #Constraints: 69919
1302.67/1305.90 c #Conflicts: 578000 | #Constraints: 70919
1302.67/1305.90 c #Conflicts: 579000 | #Constraints: 71919
1302.67/1305.90 c #Conflicts: 580000 | #Constraints: 72919
1302.67/1305.90 c #Conflicts: 581000 | #Constraints: 73919
1302.67/1305.90 c #Conflicts: 582000 | #Constraints: 74919
1302.67/1305.90 c #Conflicts: 583000 | #Constraints: 75919
1302.67/1305.90 c #Conflicts: 584000 | #Constraints: 76919
1302.67/1305.90 c #Conflicts: 585000 | #Constraints: 77919
1302.67/1305.90 c #Conflicts: 586000 | #Constraints: 78919
1302.67/1305.90 c #Conflicts: 587000 | #Constraints: 79919
1302.67/1305.90 c #Conflicts: 588000 | #Constraints: 80919
1302.67/1305.90 c #Conflicts: 589000 | #Constraints: 81920
1302.67/1305.90 c #Conflicts: 590000 | #Constraints: 82920
1302.67/1305.90 c #Conflicts: 591000 | #Constraints: 83920
1302.67/1305.90 c #Conflicts: 592000 | #Constraints: 84920
1302.67/1305.90 c #Conflicts: 593000 | #Constraints: 85920
1302.67/1305.90 c #Conflicts: 594000 | #Constraints: 86920
1302.67/1305.90 c #Conflicts: 595000 | #Constraints: 87920
1302.67/1305.90 c #Conflicts: 596000 | #Constraints: 88920
1302.67/1305.90 c #Conflicts: 597000 | #Constraints: 89920
1302.67/1305.90 c #Conflicts: 598000 | #Constraints: 90920
1302.67/1305.90 c #Conflicts: 599000 | #Constraints: 91920
1302.67/1305.90 c #Conflicts: 600000 | #Constraints: 92920
1302.67/1305.90 c #Conflicts: 601000 | #Constraints: 93920
1302.67/1305.90 c #Conflicts: 602000 | #Constraints: 94920
1302.67/1305.90 c #Conflicts: 603000 | #Constraints: 95920
1302.67/1305.90 c #Conflicts: 604000 | #Constraints: 96920
1302.67/1305.90 c #Conflicts: 605000 | #Constraints: 97920
1302.67/1305.90 c #Conflicts: 606000 | #Constraints: 98920
1302.67/1305.90 c #Conflicts: 607000 | #Constraints: 99920
1302.67/1305.90 c #Conflicts: 608000 | #Constraints: 100920
1302.67/1305.90 c INPROCESSING
1302.67/1305.90 c GARBAGE COLLECT
1302.67/1305.90 c #Conflicts: 609000 | #Constraints: 61175
1302.67/1305.90 c #Conflicts: 610000 | #Constraints: 62175
1302.67/1305.90 c #Conflicts: 611000 | #Constraints: 63175
1302.67/1305.90 c #Conflicts: 612000 | #Constraints: 64175
1302.67/1305.90 c #Conflicts: 613000 | #Constraints: 65175
1302.67/1305.90 c #Conflicts: 614000 | #Constraints: 66175
1302.67/1305.90 c #Conflicts: 615000 | #Constraints: 67175
1302.67/1305.90 c #Conflicts: 616000 | #Constraints: 68175
1302.67/1305.90 c #Conflicts: 617000 | #Constraints: 69175
1302.67/1305.90 c #Conflicts: 618000 | #Constraints: 70175
1302.67/1305.90 c #Conflicts: 619000 | #Constraints: 71175
1302.67/1305.90 c #Conflicts: 620000 | #Constraints: 72175
1302.67/1305.90 c #Conflicts: 621000 | #Constraints: 73175
1302.67/1305.90 c #Conflicts: 622000 | #Constraints: 74175
1302.67/1305.90 c #Conflicts: 623000 | #Constraints: 75175
1302.67/1305.90 c #Conflicts: 624000 | #Constraints: 76175
1302.67/1305.90 c #Conflicts: 625000 | #Constraints: 77175
1302.67/1305.90 c #Conflicts: 626000 | #Constraints: 78175
1302.67/1305.90 c #Conflicts: 627000 | #Constraints: 79175
1302.67/1305.90 c #Conflicts: 628000 | #Constraints: 80175
1302.67/1305.90 c #Conflicts: 629000 | #Constraints: 81175
1302.67/1305.90 c #Conflicts: 630000 | #Constraints: 82175
1302.67/1305.90 c INPROCESSING
1302.67/1305.90 c GARBAGE COLLECT
1302.67/1305.90 c #Conflicts: 631000 | #Constraints: 53886
1302.67/1305.90 c #Conflicts: 632000 | #Constraints: 54886
1302.67/1305.90 c #Conflicts: 633000 | #Constraints: 55886
1302.67/1305.90 c #Conflicts: 634000 | #Constraints: 56886
1562.14/1566.09 c #Conflicts: 635000 | #Constraints: 57886
1562.14/1566.09 c #Conflicts: 636000 | #Constraints: 58886
1562.14/1566.09 c #Conflicts: 637000 | #Constraints: 59886
1562.14/1566.09 c #Conflicts: 638000 | #Constraints: 60886
1562.14/1566.09 c #Conflicts: 639000 | #Constraints: 61886
1562.14/1566.09 c #Conflicts: 640000 | #Constraints: 62886
1562.14/1566.09 c #Conflicts: 641000 | #Constraints: 63886
1562.14/1566.09 c #Conflicts: 642000 | #Constraints: 64886
1562.14/1566.09 c #Conflicts: 643000 | #Constraints: 65886
1562.14/1566.09 c #Conflicts: 644000 | #Constraints: 66886
1562.14/1566.09 c #Conflicts: 645000 | #Constraints: 67886
1562.14/1566.09 c #Conflicts: 646000 | #Constraints: 68886
1562.14/1566.09 c #Conflicts: 647000 | #Constraints: 69886
1562.14/1566.09 c #Conflicts: 648000 | #Constraints: 70886
1562.14/1566.09 c #Conflicts: 649000 | #Constraints: 71886
1562.14/1566.09 c #Conflicts: 650000 | #Constraints: 72886
1562.14/1566.09 c #Conflicts: 651000 | #Constraints: 73886
1562.14/1566.09 c #Conflicts: 652000 | #Constraints: 74886
1562.14/1566.09 c #Conflicts: 653000 | #Constraints: 75886
1562.14/1566.09 c #Conflicts: 654000 | #Constraints: 76886
1562.14/1566.09 c #Conflicts: 655000 | #Constraints: 77886
1562.14/1566.09 c #Conflicts: 656000 | #Constraints: 78886
1562.14/1566.09 c #Conflicts: 657000 | #Constraints: 79886
1562.14/1566.09 c #Conflicts: 658000 | #Constraints: 80886
1562.14/1566.09 c #Conflicts: 659000 | #Constraints: 81886
1562.14/1566.09 c #Conflicts: 660000 | #Constraints: 82886
1562.14/1566.09 c #Conflicts: 661000 | #Constraints: 83886
1562.14/1566.09 c #Conflicts: 662000 | #Constraints: 84886
1562.14/1566.09 c #Conflicts: 663000 | #Constraints: 85886
1562.14/1566.09 c #Conflicts: 664000 | #Constraints: 86886
1562.14/1566.09 c #Conflicts: 665000 | #Constraints: 87886
1562.14/1566.09 c #Conflicts: 666000 | #Constraints: 88886
1562.14/1566.09 c #Conflicts: 667000 | #Constraints: 89886
1562.14/1566.09 c #Conflicts: 668000 | #Constraints: 90886
1562.14/1566.09 c #Conflicts: 669000 | #Constraints: 91886
1562.14/1566.09 c #Conflicts: 670000 | #Constraints: 92886
1562.14/1566.09 c #Conflicts: 671000 | #Constraints: 93886
1562.14/1566.09 c #Conflicts: 672000 | #Constraints: 94886
1562.14/1566.09 c #Conflicts: 673000 | #Constraints: 95886
1562.14/1566.09 c #Conflicts: 674000 | #Constraints: 96886
1562.14/1566.09 c #Conflicts: 675000 | #Constraints: 97886
1562.14/1566.09 c #Conflicts: 676000 | #Constraints: 98886
1562.14/1566.09 c #Conflicts: 677000 | #Constraints: 99886
1562.14/1566.09 c #Conflicts: 678000 | #Constraints: 100886
1562.14/1566.09 c #Conflicts: 679000 | #Constraints: 101886
1562.14/1566.09 c #Conflicts: 680000 | #Constraints: 102886
1562.14/1566.09 c #Conflicts: 681000 | #Constraints: 103886
1562.14/1566.09 c #Conflicts: 682000 | #Constraints: 104886
1562.14/1566.09 c #Conflicts: 683000 | #Constraints: 105886
1562.14/1566.09 c #Conflicts: 684000 | #Constraints: 106886
1562.14/1566.09 c INPROCESSING
1562.14/1566.09 c GARBAGE COLLECT
1562.14/1566.09 c #Conflicts: 685000 | #Constraints: 64487
1562.14/1566.09 c #Conflicts: 686000 | #Constraints: 65487
1562.14/1566.09 c #Conflicts: 687000 | #Constraints: 66487
1562.14/1566.09 c #Conflicts: 688000 | #Constraints: 67487
1562.14/1566.09 c #Conflicts: 689000 | #Constraints: 68487
1562.14/1566.09 c #Conflicts: 690000 | #Constraints: 69487
1562.14/1566.09 c #Conflicts: 691000 | #Constraints: 70487
1562.14/1566.09 c #Conflicts: 692000 | #Constraints: 71487
1562.14/1566.09 c #Conflicts: 693000 | #Constraints: 72487
1562.14/1566.09 c #Conflicts: 694000 | #Constraints: 73487
1562.14/1566.09 c #Conflicts: 695000 | #Constraints: 74487
1562.14/1566.09 c #Conflicts: 696000 | #Constraints: 75487
1562.14/1566.09 c #Conflicts: 697000 | #Constraints: 76487
1562.14/1566.09 c #Conflicts: 698000 | #Constraints: 77487
1562.14/1566.09 c #Conflicts: 699000 | #Constraints: 78487
1562.14/1566.09 c #Conflicts: 700000 | #Constraints: 79487
1562.14/1566.09 c #Conflicts: 701000 | #Constraints: 80487
1562.14/1566.09 c #Conflicts: 702000 | #Constraints: 81487
1562.14/1566.09 c #Conflicts: 703000 | #Constraints: 82487
1562.14/1566.09 c #Conflicts: 704000 | #Constraints: 83487
1562.14/1566.09 c #Conflicts: 705000 | #Constraints: 84487
1562.14/1566.09 c #Conflicts: 706000 | #Constraints: 85487
1562.14/1566.09 c INPROCESSING
1562.14/1566.09 c GARBAGE COLLECT
1562.14/1566.09 c #Conflicts: 707000 | #Constraints: 55769
1562.14/1566.09 c #Conflicts: 708000 | #Constraints: 56769
1562.14/1566.09 c #Conflicts: 709000 | #Constraints: 57769
1562.14/1566.09 c #Conflicts: 710000 | #Constraints: 58769
1562.14/1566.09 c #Conflicts: 711000 | #Constraints: 59769
1562.14/1566.09 c #Conflicts: 712000 | #Constraints: 60769
1782.73/1787.14 c #Conflicts: 713000 | #Constraints: 61769
1782.73/1787.14 c #Conflicts: 714000 | #Constraints: 62769
1782.73/1787.14 c #Conflicts: 715000 | #Constraints: 63769
1782.73/1787.14 c #Conflicts: 716000 | #Constraints: 64769
1782.73/1787.14 c #Conflicts: 717000 | #Constraints: 65769
1782.73/1787.14 c #Conflicts: 718000 | #Constraints: 66769
1782.73/1787.14 c #Conflicts: 719000 | #Constraints: 67769
1782.73/1787.14 c #Conflicts: 720000 | #Constraints: 68769
1782.73/1787.14 c #Conflicts: 721000 | #Constraints: 69769
1782.73/1787.14 c #Conflicts: 722000 | #Constraints: 70769
1782.73/1787.14 c #Conflicts: 723000 | #Constraints: 71770
1782.73/1787.14 c #Conflicts: 724000 | #Constraints: 72770
1782.73/1787.14 c #Conflicts: 725000 | #Constraints: 73770
1782.73/1787.14 c #Conflicts: 726000 | #Constraints: 74770
1782.73/1787.14 c #Conflicts: 727000 | #Constraints: 75770
1782.73/1787.14 c #Conflicts: 728000 | #Constraints: 76770
1782.73/1787.14 c #Conflicts: 729000 | #Constraints: 77770
1782.73/1787.14 c #Conflicts: 730000 | #Constraints: 78770
1782.73/1787.14 c #Conflicts: 731000 | #Constraints: 79770
1782.73/1787.14 c #Conflicts: 732000 | #Constraints: 80770
1782.73/1787.14 c #Conflicts: 733000 | #Constraints: 81770
1782.73/1787.14 c #Conflicts: 734000 | #Constraints: 82770
1782.73/1787.14 c #Conflicts: 735000 | #Constraints: 83770
1782.73/1787.14 c #Conflicts: 736000 | #Constraints: 84770
1782.73/1787.14 c #Conflicts: 737000 | #Constraints: 85770
1782.73/1787.14 c #Conflicts: 738000 | #Constraints: 86770
1782.73/1787.14 c #Conflicts: 739000 | #Constraints: 87770
1782.73/1787.14 c #Conflicts: 740000 | #Constraints: 88770
1782.73/1787.14 c #Conflicts: 741000 | #Constraints: 89770
1782.73/1787.14 c #Conflicts: 742000 | #Constraints: 90770
1782.73/1787.14 c #Conflicts: 743000 | #Constraints: 91770
1782.73/1787.14 c #Conflicts: 744000 | #Constraints: 92770
1782.73/1787.14 c #Conflicts: 745000 | #Constraints: 93770
1782.73/1787.14 c #Conflicts: 746000 | #Constraints: 94770
1782.73/1787.14 c #Conflicts: 747000 | #Constraints: 95770
1782.73/1787.14 c #Conflicts: 748000 | #Constraints: 96770
1782.73/1787.14 c #Conflicts: 749000 | #Constraints: 97770
1782.73/1787.14 c #Conflicts: 750000 | #Constraints: 98770
1782.73/1787.14 c #Conflicts: 751000 | #Constraints: 99770
1782.73/1787.14 c #Conflicts: 752000 | #Constraints: 100770
1782.73/1787.14 c #Conflicts: 753000 | #Constraints: 101770
1782.73/1787.14 c #Conflicts: 754000 | #Constraints: 102770
1782.73/1787.14 c #Conflicts: 755000 | #Constraints: 103770
1782.73/1787.14 c #Conflicts: 756000 | #Constraints: 104770
1782.73/1787.14 c #Conflicts: 757000 | #Constraints: 105770
1782.73/1787.14 c #Conflicts: 758000 | #Constraints: 106770
1782.73/1787.14 c #Conflicts: 759000 | #Constraints: 107770
1782.73/1787.14 c #Conflicts: 760000 | #Constraints: 108770
1782.73/1787.14 c #Conflicts: 761000 | #Constraints: 109770
1782.73/1787.14 c #Conflicts: 762000 | #Constraints: 110770
1782.73/1787.14 c #Conflicts: 763000 | #Constraints: 111770
1782.73/1787.14 c INPROCESSING
1782.73/1787.14 c GARBAGE COLLECT
1782.73/1787.14 c #Conflicts: 764000 | #Constraints: 66463
1782.73/1787.14 c #Conflicts: 765000 | #Constraints: 67463
1782.73/1787.14 c #Conflicts: 766000 | #Constraints: 68463
1782.73/1787.14 c #Conflicts: 767000 | #Constraints: 69463
1782.73/1787.14 c #Conflicts: 768000 | #Constraints: 70463
1782.73/1787.14 c #Conflicts: 769000 | #Constraints: 71463
1782.73/1787.14 c #Conflicts: 770000 | #Constraints: 72463
1782.73/1787.14 c #Conflicts: 771000 | #Constraints: 73463
1782.73/1787.14 c #Conflicts: 772000 | #Constraints: 74463
1782.73/1787.14 c #Conflicts: 773000 | #Constraints: 75463
1782.73/1787.14 c #Conflicts: 774000 | #Constraints: 76463
1782.73/1787.14 c #Conflicts: 775000 | #Constraints: 77463
1782.73/1787.14 c #Conflicts: 776000 | #Constraints: 78463
1782.73/1787.14 c #Conflicts: 777000 | #Constraints: 79463
1782.73/1787.14 c #Conflicts: 778000 | #Constraints: 80463
1782.73/1787.14 c #Conflicts: 779000 | #Constraints: 81463
1782.73/1787.14 c #Conflicts: 780000 | #Constraints: 82463
1782.73/1787.14 c #Conflicts: 781000 | #Constraints: 83463
1782.73/1787.14 c #Conflicts: 782000 | #Constraints: 84463
1782.73/1787.14 c #Conflicts: 783000 | #Constraints: 85463
1782.73/1787.14 c #Conflicts: 784000 | #Constraints: 86463
1782.73/1787.14 c #Conflicts: 785000 | #Constraints: 87463
1782.73/1787.14 c #Conflicts: 786000 | #Constraints: 88463
1782.73/1787.14 c #Conflicts: 787000 | #Constraints: 89463
1782.73/1787.14 c INPROCESSING
1782.73/1787.14 c GARBAGE COLLECT
1782.73/1787.14 c #Conflicts: 788000 | #Constraints: 57838
1782.73/1787.14 c #Conflicts: 789000 | #Constraints: 58838
1972.96/1977.80 c #Conflicts: 790000 | #Constraints: 59838
1972.96/1977.80 c #Conflicts: 791000 | #Constraints: 60838
1972.96/1977.80 c #Conflicts: 792000 | #Constraints: 61838
1972.96/1977.80 c #Conflicts: 793000 | #Constraints: 62838
1972.96/1977.80 c #Conflicts: 794000 | #Constraints: 63838
1972.96/1977.80 c #Conflicts: 795000 | #Constraints: 64838
1972.96/1977.80 c #Conflicts: 796000 | #Constraints: 65838
1972.96/1977.80 c #Conflicts: 797000 | #Constraints: 66838
1972.96/1977.80 c #Conflicts: 798000 | #Constraints: 67838
1972.96/1977.80 c #Conflicts: 799000 | #Constraints: 68838
1972.96/1977.80 c #Conflicts: 800000 | #Constraints: 69838
1972.96/1977.80 c #Conflicts: 801000 | #Constraints: 70838
1972.96/1977.80 c #Conflicts: 802000 | #Constraints: 71838
1972.96/1977.80 c #Conflicts: 803000 | #Constraints: 72838
1972.96/1977.80 c #Conflicts: 804000 | #Constraints: 73838
1972.96/1977.80 c #Conflicts: 805000 | #Constraints: 74838
1972.96/1977.80 c #Conflicts: 806000 | #Constraints: 75838
1972.96/1977.80 c #Conflicts: 807000 | #Constraints: 76838
1972.96/1977.80 c #Conflicts: 808000 | #Constraints: 77838
1972.96/1977.80 c #Conflicts: 809000 | #Constraints: 78838
1972.96/1977.80 c #Conflicts: 810000 | #Constraints: 79838
1972.96/1977.80 c #Conflicts: 811000 | #Constraints: 80838
1972.96/1977.80 c #Conflicts: 812000 | #Constraints: 81838
1972.96/1977.80 c #Conflicts: 813000 | #Constraints: 82838
1972.96/1977.80 c #Conflicts: 814000 | #Constraints: 83838
1972.96/1977.80 c #Conflicts: 815000 | #Constraints: 84838
1972.96/1977.80 c #Conflicts: 816000 | #Constraints: 85838
1972.96/1977.80 c #Conflicts: 817000 | #Constraints: 86838
1972.96/1977.80 c #Conflicts: 818000 | #Constraints: 87838
1972.96/1977.80 c #Conflicts: 819000 | #Constraints: 88838
1972.96/1977.80 c #Conflicts: 820000 | #Constraints: 89838
1972.96/1977.80 c #Conflicts: 821000 | #Constraints: 90838
1972.96/1977.80 c #Conflicts: 822000 | #Constraints: 91838
1972.96/1977.80 c #Conflicts: 823000 | #Constraints: 92838
1972.96/1977.80 c #Conflicts: 824000 | #Constraints: 93838
1972.96/1977.80 c #Conflicts: 825000 | #Constraints: 94838
1972.96/1977.80 c #Conflicts: 826000 | #Constraints: 95838
1972.96/1977.80 c #Conflicts: 827000 | #Constraints: 96838
1972.96/1977.80 c #Conflicts: 828000 | #Constraints: 97838
1972.96/1977.80 c #Conflicts: 829000 | #Constraints: 98838
1972.96/1977.80 c #Conflicts: 830000 | #Constraints: 99838
1972.96/1977.80 c #Conflicts: 831000 | #Constraints: 100838
1972.96/1977.80 c #Conflicts: 832000 | #Constraints: 101838
1972.96/1977.80 c #Conflicts: 833000 | #Constraints: 102838
1972.96/1977.80 c #Conflicts: 834000 | #Constraints: 103838
1972.96/1977.80 c #Conflicts: 835000 | #Constraints: 104838
1972.96/1977.80 c #Conflicts: 836000 | #Constraints: 105838
1972.96/1977.80 c #Conflicts: 837000 | #Constraints: 106838
1972.96/1977.80 c #Conflicts: 838000 | #Constraints: 107838
1972.96/1977.80 c #Conflicts: 839000 | #Constraints: 108838
1972.96/1977.80 c #Conflicts: 840000 | #Constraints: 109838
1972.96/1977.80 c #Conflicts: 841000 | #Constraints: 110838
1972.96/1977.80 c #Conflicts: 842000 | #Constraints: 111838
1972.96/1977.80 c #Conflicts: 843000 | #Constraints: 112838
1972.96/1977.80 c #Conflicts: 844000 | #Constraints: 113838
1972.96/1977.80 c #Conflicts: 845000 | #Constraints: 114838
1972.96/1977.80 c #Conflicts: 846000 | #Constraints: 115838
1972.96/1977.80 c #Conflicts: 847000 | #Constraints: 116838
1972.96/1977.80 c #Conflicts: 848000 | #Constraints: 117838
1972.96/1977.80 c INPROCESSING
1972.96/1977.80 c GARBAGE COLLECT
1972.96/1977.80 c #Conflicts: 849000 | #Constraints: 69917
1972.96/1977.80 c #Conflicts: 850000 | #Constraints: 70917
1972.96/1977.80 c #Conflicts: 851000 | #Constraints: 71917
1972.96/1977.80 c #Conflicts: 852000 | #Constraints: 72917
1972.96/1977.80 c #Conflicts: 853000 | #Constraints: 73917
1972.96/1977.80 c #Conflicts: 854000 | #Constraints: 74917
1972.96/1977.80 c #Conflicts: 855000 | #Constraints: 75917
1972.96/1977.80 c #Conflicts: 856000 | #Constraints: 76917
1972.96/1977.80 c #Conflicts: 857000 | #Constraints: 77917
1972.96/1977.80 c #Conflicts: 858000 | #Constraints: 78917
1972.96/1977.80 c #Conflicts: 859000 | #Constraints: 79917
1972.96/1977.80 c #Conflicts: 860000 | #Constraints: 80917
1972.96/1977.80 c #Conflicts: 861000 | #Constraints: 81917
1972.96/1977.80 c #Conflicts: 862000 | #Constraints: 82917
1972.96/1977.80 c #Conflicts: 863000 | #Constraints: 83917
1972.96/1977.80 c #Conflicts: 864000 | #Constraints: 84917
1972.96/1977.80 c #Conflicts: 865000 | #Constraints: 85917
1972.96/1977.80 c #Conflicts: 866000 | #Constraints: 86917
1972.96/1977.80 c #Conflicts: 867000 | #Constraints: 87917
2192.74/2198.17 c #Conflicts: 868000 | #Constraints: 88917
2192.74/2198.17 c #Conflicts: 869000 | #Constraints: 89917
2192.74/2198.17 c #Conflicts: 870000 | #Constraints: 90917
2192.74/2198.17 c #Conflicts: 871000 | #Constraints: 91917
2192.74/2198.17 c #Conflicts: 872000 | #Constraints: 92917
2192.74/2198.17 c #Conflicts: 873000 | #Constraints: 93917
2192.74/2198.17 c INPROCESSING
2192.74/2198.17 c GARBAGE COLLECT
2192.74/2198.17 c #Conflicts: 874000 | #Constraints: 60657
2192.74/2198.17 c #Conflicts: 875000 | #Constraints: 61657
2192.74/2198.17 c #Conflicts: 876000 | #Constraints: 62657
2192.74/2198.17 c #Conflicts: 877000 | #Constraints: 63657
2192.74/2198.17 c #Conflicts: 878000 | #Constraints: 64657
2192.74/2198.17 c #Conflicts: 879000 | #Constraints: 65657
2192.74/2198.17 c #Conflicts: 880000 | #Constraints: 66657
2192.74/2198.17 c #Conflicts: 881000 | #Constraints: 67657
2192.74/2198.17 c #Conflicts: 882000 | #Constraints: 68657
2192.74/2198.17 c #Conflicts: 883000 | #Constraints: 69657
2192.74/2198.17 c #Conflicts: 884000 | #Constraints: 70657
2192.74/2198.17 c #Conflicts: 885000 | #Constraints: 71657
2192.74/2198.17 c #Conflicts: 886000 | #Constraints: 72657
2192.74/2198.17 c #Conflicts: 887000 | #Constraints: 73657
2192.74/2198.17 c #Conflicts: 888000 | #Constraints: 74657
2192.74/2198.17 c #Conflicts: 889000 | #Constraints: 75658
2192.74/2198.17 c #Conflicts: 890000 | #Constraints: 76658
2192.74/2198.17 c #Conflicts: 891000 | #Constraints: 77658
2192.74/2198.17 c #Conflicts: 892000 | #Constraints: 78658
2192.74/2198.17 c #Conflicts: 893000 | #Constraints: 79658
2192.74/2198.17 c #Conflicts: 894000 | #Constraints: 80658
2192.74/2198.17 c #Conflicts: 895000 | #Constraints: 81658
2192.74/2198.17 c #Conflicts: 896000 | #Constraints: 82658
2192.74/2198.17 c #Conflicts: 897000 | #Constraints: 83658
2192.74/2198.17 c #Conflicts: 898000 | #Constraints: 84658
2192.74/2198.17 c #Conflicts: 899000 | #Constraints: 85658
2192.74/2198.17 c #Conflicts: 900000 | #Constraints: 86658
2192.74/2198.17 c #Conflicts: 901000 | #Constraints: 87658
2192.74/2198.17 c #Conflicts: 902000 | #Constraints: 88658
2192.74/2198.17 c #Conflicts: 903000 | #Constraints: 89658
2192.74/2198.17 c #Conflicts: 904000 | #Constraints: 90658
2192.74/2198.17 c #Conflicts: 905000 | #Constraints: 91658
2192.74/2198.17 c #Conflicts: 906000 | #Constraints: 92658
2192.74/2198.17 c #Conflicts: 907000 | #Constraints: 93658
2192.74/2198.17 c #Conflicts: 908000 | #Constraints: 94658
2192.74/2198.17 c #Conflicts: 909000 | #Constraints: 95658
2192.74/2198.17 c #Conflicts: 910000 | #Constraints: 96658
2192.74/2198.17 c #Conflicts: 911000 | #Constraints: 97658
2192.74/2198.17 c #Conflicts: 912000 | #Constraints: 98658
2192.74/2198.17 c #Conflicts: 913000 | #Constraints: 99658
2192.74/2198.17 c #Conflicts: 914000 | #Constraints: 100658
2192.74/2198.17 c #Conflicts: 915000 | #Constraints: 101658
2192.74/2198.17 c #Conflicts: 916000 | #Constraints: 102658
2192.74/2198.17 c #Conflicts: 917000 | #Constraints: 103658
2192.74/2198.17 c #Conflicts: 918000 | #Constraints: 104658
2192.74/2198.17 c #Conflicts: 919000 | #Constraints: 105658
2192.74/2198.17 c #Conflicts: 920000 | #Constraints: 106658
2192.74/2198.17 c #Conflicts: 921000 | #Constraints: 107658
2192.74/2198.17 c #Conflicts: 922000 | #Constraints: 108658
2192.74/2198.17 c #Conflicts: 923000 | #Constraints: 109658
2192.74/2198.17 c #Conflicts: 924000 | #Constraints: 110658
2192.74/2198.17 c #Conflicts: 925000 | #Constraints: 111658
2192.74/2198.17 c #Conflicts: 926000 | #Constraints: 112658
2192.74/2198.17 c #Conflicts: 927000 | #Constraints: 113658
2192.74/2198.17 c #Conflicts: 928000 | #Constraints: 114658
2192.74/2198.17 c #Conflicts: 929000 | #Constraints: 115658
2192.74/2198.17 c #Conflicts: 930000 | #Constraints: 116658
2192.74/2198.17 c #Conflicts: 931000 | #Constraints: 117658
2192.74/2198.17 c #Conflicts: 932000 | #Constraints: 118658
2192.74/2198.17 c #Conflicts: 933000 | #Constraints: 119658
2192.74/2198.17 c #Conflicts: 934000 | #Constraints: 120658
2192.74/2198.17 c #Conflicts: 935000 | #Constraints: 121658
2192.74/2198.17 c #Conflicts: 936000 | #Constraints: 122658
2192.74/2198.17 c INPROCESSING
2192.74/2198.17 c GARBAGE COLLECT
2192.74/2198.17 c #Conflicts: 937000 | #Constraints: 72156
2192.74/2198.17 c #Conflicts: 938000 | #Constraints: 73156
2192.74/2198.17 c #Conflicts: 939000 | #Constraints: 74156
2192.74/2198.17 c #Conflicts: 940000 | #Constraints: 75156
2192.74/2198.17 c #Conflicts: 941000 | #Constraints: 76156
2192.74/2198.17 c #Conflicts: 942000 | #Constraints: 77156
2192.74/2198.17 c #Conflicts: 943000 | #Constraints: 78156
2192.74/2198.17 c #Conflicts: 944000 | #Constraints: 79156
2192.74/2198.17 c #Conflicts: 945000 | #Constraints: 80156
2428.68/2434.66 c #Conflicts: 946000 | #Constraints: 81156
2428.68/2434.66 c #Conflicts: 947000 | #Constraints: 82156
2428.68/2434.66 c #Conflicts: 948000 | #Constraints: 83156
2428.68/2434.66 c #Conflicts: 949000 | #Constraints: 84156
2428.68/2434.66 c #Conflicts: 950000 | #Constraints: 85156
2428.68/2434.66 c #Conflicts: 951000 | #Constraints: 86156
2428.68/2434.66 c #Conflicts: 952000 | #Constraints: 87156
2428.68/2434.66 c #Conflicts: 953000 | #Constraints: 88156
2428.68/2434.66 c #Conflicts: 954000 | #Constraints: 89156
2428.68/2434.66 c #Conflicts: 955000 | #Constraints: 90156
2428.68/2434.66 c #Conflicts: 956000 | #Constraints: 91156
2428.68/2434.66 c #Conflicts: 957000 | #Constraints: 92156
2428.68/2434.66 c #Conflicts: 958000 | #Constraints: 93156
2428.68/2434.66 c #Conflicts: 959000 | #Constraints: 94156
2428.68/2434.66 c #Conflicts: 960000 | #Constraints: 95156
2428.68/2434.66 c #Conflicts: 961000 | #Constraints: 96156
2428.68/2434.66 c #Conflicts: 962000 | #Constraints: 97156
2428.68/2434.66 c #Conflicts: 963000 | #Constraints: 98156
2428.68/2434.66 c INPROCESSING
2428.68/2434.66 c GARBAGE COLLECT
2428.68/2434.66 c #Conflicts: 964000 | #Constraints: 62950
2428.68/2434.66 c #Conflicts: 965000 | #Constraints: 63950
2428.68/2434.66 c #Conflicts: 966000 | #Constraints: 64950
2428.68/2434.66 c #Conflicts: 967000 | #Constraints: 65950
2428.68/2434.66 c #Conflicts: 968000 | #Constraints: 66950
2428.68/2434.66 c #Conflicts: 969000 | #Constraints: 67950
2428.68/2434.66 c #Conflicts: 970000 | #Constraints: 68950
2428.68/2434.66 c #Conflicts: 971000 | #Constraints: 69950
2428.68/2434.66 c #Conflicts: 972000 | #Constraints: 70950
2428.68/2434.66 c #Conflicts: 973000 | #Constraints: 71950
2428.68/2434.66 c #Conflicts: 974000 | #Constraints: 72950
2428.68/2434.66 c #Conflicts: 975000 | #Constraints: 73950
2428.68/2434.66 c #Conflicts: 976000 | #Constraints: 74950
2428.68/2434.66 c #Conflicts: 977000 | #Constraints: 75950
2428.68/2434.66 c #Conflicts: 978000 | #Constraints: 76950
2428.68/2434.66 c #Conflicts: 979000 | #Constraints: 77950
2428.68/2434.66 c #Conflicts: 980000 | #Constraints: 78950
2428.68/2434.66 c #Conflicts: 981000 | #Constraints: 79950
2428.68/2434.66 c #Conflicts: 982000 | #Constraints: 80950
2428.68/2434.66 c #Conflicts: 983000 | #Constraints: 81950
2428.68/2434.66 c #Conflicts: 984000 | #Constraints: 82950
2428.68/2434.66 c #Conflicts: 985000 | #Constraints: 83950
2428.68/2434.66 c #Conflicts: 986000 | #Constraints: 84950
2428.68/2434.66 c #Conflicts: 987000 | #Constraints: 85950
2428.68/2434.66 c #Conflicts: 988000 | #Constraints: 86950
2428.68/2434.66 c #Conflicts: 989000 | #Constraints: 87950
2428.68/2434.66 c #Conflicts: 990000 | #Constraints: 88950
2428.68/2434.66 c #Conflicts: 991000 | #Constraints: 89950
2428.68/2434.66 c #Conflicts: 992000 | #Constraints: 90950
2428.68/2434.66 c #Conflicts: 993000 | #Constraints: 91950
2428.68/2434.66 c #Conflicts: 994000 | #Constraints: 92950
2428.68/2434.66 c #Conflicts: 995000 | #Constraints: 93950
2428.68/2434.66 c #Conflicts: 996000 | #Constraints: 94950
2428.68/2434.66 c #Conflicts: 997000 | #Constraints: 95950
2428.68/2434.66 c #Conflicts: 998000 | #Constraints: 96950
2428.68/2434.66 c #Conflicts: 999000 | #Constraints: 97950
2428.68/2434.66 c #Conflicts: 1000000 | #Constraints: 98950
2428.68/2434.66 c #Conflicts: 1001000 | #Constraints: 99950
2428.68/2434.66 c #Conflicts: 1002000 | #Constraints: 100950
2428.68/2434.66 c #Conflicts: 1003000 | #Constraints: 101950
2428.68/2434.66 c #Conflicts: 1004000 | #Constraints: 102950
2428.68/2434.66 c #Conflicts: 1005000 | #Constraints: 103950
2428.68/2434.66 c #Conflicts: 1006000 | #Constraints: 104950
2428.68/2434.66 c #Conflicts: 1007000 | #Constraints: 105950
2428.68/2434.66 c #Conflicts: 1008000 | #Constraints: 106950
2428.68/2434.66 c #Conflicts: 1009000 | #Constraints: 107950
2428.68/2434.66 c #Conflicts: 1010000 | #Constraints: 108950
2428.68/2434.66 c #Conflicts: 1011000 | #Constraints: 109950
2428.68/2434.66 c #Conflicts: 1012000 | #Constraints: 110950
2428.68/2434.66 c #Conflicts: 1013000 | #Constraints: 111950
2428.68/2434.66 c #Conflicts: 1014000 | #Constraints: 112950
2428.68/2434.66 c #Conflicts: 1015000 | #Constraints: 113950
2428.68/2434.66 c #Conflicts: 1016000 | #Constraints: 114950
2428.68/2434.66 c #Conflicts: 1017000 | #Constraints: 115950
2428.68/2434.66 c #Conflicts: 1018000 | #Constraints: 116950
2428.68/2434.66 c #Conflicts: 1019000 | #Constraints: 117950
2428.68/2434.66 c #Conflicts: 1020000 | #Constraints: 118950
2428.68/2434.66 c #Conflicts: 1021000 | #Constraints: 119950
2428.68/2434.66 c #Conflicts: 1022000 | #Constraints: 120950
2428.68/2434.66 c #Conflicts: 1023000 | #Constraints: 121950
2675.79/2682.35 c #Conflicts: 1024000 | #Constraints: 122950
2675.79/2682.35 c #Conflicts: 1025000 | #Constraints: 123950
2675.79/2682.35 c #Conflicts: 1026000 | #Constraints: 124950
2675.79/2682.35 c #Conflicts: 1027000 | #Constraints: 125950
2675.79/2682.35 c #Conflicts: 1028000 | #Constraints: 126950
2675.79/2682.35 c #Conflicts: 1029000 | #Constraints: 127950
2675.79/2682.35 c INPROCESSING
2675.79/2682.35 c GARBAGE COLLECT
2675.79/2682.35 c #Conflicts: 1030000 | #Constraints: 74787
2675.79/2682.35 c #Conflicts: 1031000 | #Constraints: 75787
2675.79/2682.35 c #Conflicts: 1032000 | #Constraints: 76787
2675.79/2682.35 c #Conflicts: 1033000 | #Constraints: 77787
2675.79/2682.35 c #Conflicts: 1034000 | #Constraints: 78787
2675.79/2682.35 c #Conflicts: 1035000 | #Constraints: 79787
2675.79/2682.35 c #Conflicts: 1036000 | #Constraints: 80787
2675.79/2682.35 c #Conflicts: 1037000 | #Constraints: 81787
2675.79/2682.35 c #Conflicts: 1038000 | #Constraints: 82787
2675.79/2682.35 c #Conflicts: 1039000 | #Constraints: 83787
2675.79/2682.35 c #Conflicts: 1040000 | #Constraints: 84787
2675.79/2682.35 c #Conflicts: 1041000 | #Constraints: 85787
2675.79/2682.35 c #Conflicts: 1042000 | #Constraints: 86787
2675.79/2682.35 c #Conflicts: 1043000 | #Constraints: 87787
2675.79/2682.35 c #Conflicts: 1044000 | #Constraints: 88787
2675.79/2682.35 c #Conflicts: 1045000 | #Constraints: 89787
2675.79/2682.35 c #Conflicts: 1046000 | #Constraints: 90787
2675.79/2682.35 c #Conflicts: 1047000 | #Constraints: 91787
2675.79/2682.35 c #Conflicts: 1048000 | #Constraints: 92787
2675.79/2682.35 c #Conflicts: 1049000 | #Constraints: 93787
2675.79/2682.35 c #Conflicts: 1050000 | #Constraints: 94787
2675.79/2682.35 c #Conflicts: 1051000 | #Constraints: 95787
2675.79/2682.35 c #Conflicts: 1052000 | #Constraints: 96787
2675.79/2682.35 c #Conflicts: 1053000 | #Constraints: 97787
2675.79/2682.35 c #Conflicts: 1054000 | #Constraints: 98787
2675.79/2682.35 c #Conflicts: 1055000 | #Constraints: 99787
2675.79/2682.35 c #Conflicts: 1056000 | #Constraints: 100788
2675.79/2682.35 c #Conflicts: 1057000 | #Constraints: 101788
2675.79/2682.35 c INPROCESSING
2675.79/2682.35 c GARBAGE COLLECT
2675.79/2682.35 c #Conflicts: 1058000 | #Constraints: 64153
2675.79/2682.35 c #Conflicts: 1059000 | #Constraints: 65153
2675.79/2682.35 c #Conflicts: 1060000 | #Constraints: 66153
2675.79/2682.35 c #Conflicts: 1061000 | #Constraints: 67153
2675.79/2682.35 c #Conflicts: 1062000 | #Constraints: 68153
2675.79/2682.35 c #Conflicts: 1063000 | #Constraints: 69153
2675.79/2682.35 c #Conflicts: 1064000 | #Constraints: 70153
2675.79/2682.35 c #Conflicts: 1065000 | #Constraints: 71153
2675.79/2682.35 c #Conflicts: 1066000 | #Constraints: 72153
2675.79/2682.35 c #Conflicts: 1067000 | #Constraints: 73153
2675.79/2682.35 c #Conflicts: 1068000 | #Constraints: 74153
2675.79/2682.35 c #Conflicts: 1069000 | #Constraints: 75153
2675.79/2682.35 c #Conflicts: 1070000 | #Constraints: 76153
2675.79/2682.35 c #Conflicts: 1071000 | #Constraints: 77153
2675.79/2682.35 c #Conflicts: 1072000 | #Constraints: 78153
2675.79/2682.35 c #Conflicts: 1073000 | #Constraints: 79153
2675.79/2682.35 c #Conflicts: 1074000 | #Constraints: 80153
2675.79/2682.35 c #Conflicts: 1075000 | #Constraints: 81153
2675.79/2682.35 c #Conflicts: 1076000 | #Constraints: 82153
2675.79/2682.35 c #Conflicts: 1077000 | #Constraints: 83153
2675.79/2682.35 c #Conflicts: 1078000 | #Constraints: 84153
2675.79/2682.35 c #Conflicts: 1079000 | #Constraints: 85153
2675.79/2682.35 c #Conflicts: 1080000 | #Constraints: 86153
2675.79/2682.35 c #Conflicts: 1081000 | #Constraints: 87153
2675.79/2682.35 c #Conflicts: 1082000 | #Constraints: 88153
2675.79/2682.35 c #Conflicts: 1083000 | #Constraints: 89153
2675.79/2682.35 c #Conflicts: 1084000 | #Constraints: 90153
2675.79/2682.35 c #Conflicts: 1085000 | #Constraints: 91153
2675.79/2682.35 c #Conflicts: 1086000 | #Constraints: 92153
2675.79/2682.35 c #Conflicts: 1087000 | #Constraints: 93153
2675.79/2682.35 c #Conflicts: 1088000 | #Constraints: 94153
2675.79/2682.35 c #Conflicts: 1089000 | #Constraints: 95153
2675.79/2682.35 c #Conflicts: 1090000 | #Constraints: 96153
2675.79/2682.35 c #Conflicts: 1091000 | #Constraints: 97153
2675.79/2682.35 c #Conflicts: 1092000 | #Constraints: 98153
2675.79/2682.35 c #Conflicts: 1093000 | #Constraints: 99153
2675.79/2682.35 c #Conflicts: 1094000 | #Constraints: 100153
2675.79/2682.35 c #Conflicts: 1095000 | #Constraints: 101153
2675.79/2682.35 c #Conflicts: 1096000 | #Constraints: 102153
2675.79/2682.35 c #Conflicts: 1097000 | #Constraints: 103153
2675.79/2682.35 c #Conflicts: 1098000 | #Constraints: 104153
2675.79/2682.35 c #Conflicts: 1099000 | #Constraints: 105153
2675.79/2682.35 c #Conflicts: 1100000 | #Constraints: 106153
3029.95/3037.34 c #Conflicts: 1101000 | #Constraints: 107153
3029.95/3037.34 c #Conflicts: 1102000 | #Constraints: 108153
3029.95/3037.34 c #Conflicts: 1103000 | #Constraints: 109153
3029.95/3037.34 c #Conflicts: 1104000 | #Constraints: 110153
3029.95/3037.34 c #Conflicts: 1105000 | #Constraints: 111153
3029.95/3037.34 c #Conflicts: 1106000 | #Constraints: 112153
3029.95/3037.34 c #Conflicts: 1107000 | #Constraints: 113153
3029.95/3037.34 c #Conflicts: 1108000 | #Constraints: 114153
3029.95/3037.34 c #Conflicts: 1109000 | #Constraints: 115153
3029.95/3037.34 c #Conflicts: 1110000 | #Constraints: 116153
3029.95/3037.34 c #Conflicts: 1111000 | #Constraints: 117153
3029.95/3037.34 c #Conflicts: 1112000 | #Constraints: 118153
3029.95/3037.34 c #Conflicts: 1113000 | #Constraints: 119153
3029.95/3037.34 c #Conflicts: 1114000 | #Constraints: 120153
3029.95/3037.34 c #Conflicts: 1115000 | #Constraints: 121153
3029.95/3037.34 c #Conflicts: 1116000 | #Constraints: 122153
3029.95/3037.34 c #Conflicts: 1117000 | #Constraints: 123153
3029.95/3037.34 c #Conflicts: 1118000 | #Constraints: 124153
3029.95/3037.34 c #Conflicts: 1119000 | #Constraints: 125153
3029.95/3037.34 c #Conflicts: 1120000 | #Constraints: 126153
3029.95/3037.34 c #Conflicts: 1121000 | #Constraints: 127153
3029.95/3037.34 c #Conflicts: 1122000 | #Constraints: 128153
3029.95/3037.34 c #Conflicts: 1123000 | #Constraints: 129153
3029.95/3037.34 c #Conflicts: 1124000 | #Constraints: 130153
3029.95/3037.34 c #Conflicts: 1125000 | #Constraints: 131153
3029.95/3037.34 c #Conflicts: 1126000 | #Constraints: 132153
3029.95/3037.34 c #Conflicts: 1127000 | #Constraints: 133153
3029.95/3037.34 c INPROCESSING
3029.95/3037.34 c GARBAGE COLLECT
3029.95/3037.34 c #Conflicts: 1128000 | #Constraints: 77752
3029.95/3037.34 c #Conflicts: 1129000 | #Constraints: 78752
3029.95/3037.34 c #Conflicts: 1130000 | #Constraints: 79752
3029.95/3037.34 c #Conflicts: 1131000 | #Constraints: 80752
3029.95/3037.34 c #Conflicts: 1132000 | #Constraints: 81752
3029.95/3037.34 c #Conflicts: 1133000 | #Constraints: 82752
3029.95/3037.34 c #Conflicts: 1134000 | #Constraints: 83752
3029.95/3037.34 c #Conflicts: 1135000 | #Constraints: 84752
3029.95/3037.34 c #Conflicts: 1136000 | #Constraints: 85752
3029.95/3037.34 c #Conflicts: 1137000 | #Constraints: 86752
3029.95/3037.34 c #Conflicts: 1138000 | #Constraints: 87752
3029.95/3037.34 c #Conflicts: 1139000 | #Constraints: 88752
3029.95/3037.34 c #Conflicts: 1140000 | #Constraints: 89752
3029.95/3037.34 c #Conflicts: 1141000 | #Constraints: 90752
3029.95/3037.34 c #Conflicts: 1142000 | #Constraints: 91752
3029.95/3037.34 c #Conflicts: 1143000 | #Constraints: 92752
3029.95/3037.34 c #Conflicts: 1144000 | #Constraints: 93752
3029.95/3037.34 c #Conflicts: 1145000 | #Constraints: 94753
3029.95/3037.34 c #Conflicts: 1146000 | #Constraints: 95753
3029.95/3037.34 c #Conflicts: 1147000 | #Constraints: 96753
3029.95/3037.34 c #Conflicts: 1148000 | #Constraints: 97753
3029.95/3037.34 c #Conflicts: 1149000 | #Constraints: 98753
3029.95/3037.34 c #Conflicts: 1150000 | #Constraints: 99753
3029.95/3037.34 c #Conflicts: 1151000 | #Constraints: 100753
3029.95/3037.34 c #Conflicts: 1152000 | #Constraints: 101753
3029.95/3037.34 c #Conflicts: 1153000 | #Constraints: 102753
3029.95/3037.34 c #Conflicts: 1154000 | #Constraints: 103753
3029.95/3037.34 c #Conflicts: 1155000 | #Constraints: 104753
3029.95/3037.34 c #Conflicts: 1156000 | #Constraints: 105753
3029.95/3037.34 c INPROCESSING
3029.95/3037.34 c GARBAGE COLLECT
3029.95/3037.34 c #Conflicts: 1157000 | #Constraints: 66274
3029.95/3037.34 c #Conflicts: 1158000 | #Constraints: 67274
3029.95/3037.34 c #Conflicts: 1159000 | #Constraints: 68274
3029.95/3037.34 c #Conflicts: 1160000 | #Constraints: 69274
3029.95/3037.34 c #Conflicts: 1161000 | #Constraints: 70274
3029.95/3037.34 c #Conflicts: 1162000 | #Constraints: 71274
3029.95/3037.34 c #Conflicts: 1163000 | #Constraints: 72274
3029.95/3037.34 c #Conflicts: 1164000 | #Constraints: 73274
3029.95/3037.34 c #Conflicts: 1165000 | #Constraints: 74274
3029.95/3037.34 c #Conflicts: 1166000 | #Constraints: 75274
3029.95/3037.34 c #Conflicts: 1167000 | #Constraints: 76274
3029.95/3037.34 c #Conflicts: 1168000 | #Constraints: 77274
3029.95/3037.34 c #Conflicts: 1169000 | #Constraints: 78274
3029.95/3037.34 c #Conflicts: 1170000 | #Constraints: 79274
3029.95/3037.34 c #Conflicts: 1171000 | #Constraints: 80274
3029.95/3037.34 c #Conflicts: 1172000 | #Constraints: 81274
3029.95/3037.34 c #Conflicts: 1173000 | #Constraints: 82274
3029.95/3037.34 c #Conflicts: 1174000 | #Constraints: 83274
3029.95/3037.34 c #Conflicts: 1175000 | #Constraints: 84274
3029.95/3037.34 c #Conflicts: 1176000 | #Constraints: 85274
3029.95/3037.34 c #Conflicts: 1177000 | #Constraints: 86274
3029.95/3037.34 c #Conflicts: 1178000 | #Constraints: 87274
3271.96/3279.93 c #Conflicts: 1179000 | #Constraints: 88274
3271.96/3279.93 c #Conflicts: 1180000 | #Constraints: 89274
3271.96/3279.93 c #Conflicts: 1181000 | #Constraints: 90274
3271.96/3279.93 c #Conflicts: 1182000 | #Constraints: 91274
3271.96/3279.93 c #Conflicts: 1183000 | #Constraints: 92274
3271.96/3279.93 c #Conflicts: 1184000 | #Constraints: 93274
3271.96/3279.93 c #Conflicts: 1185000 | #Constraints: 94274
3271.96/3279.93 c #Conflicts: 1186000 | #Constraints: 95274
3271.96/3279.93 c #Conflicts: 1187000 | #Constraints: 96274
3271.96/3279.93 c #Conflicts: 1188000 | #Constraints: 97274
3271.96/3279.93 c #Conflicts: 1189000 | #Constraints: 98274
3271.96/3279.93 c #Conflicts: 1190000 | #Constraints: 99274
3271.96/3279.93 c #Conflicts: 1191000 | #Constraints: 100274
3271.96/3279.93 c #Conflicts: 1192000 | #Constraints: 101274
3271.96/3279.93 c #Conflicts: 1193000 | #Constraints: 102274
3271.96/3279.93 c #Conflicts: 1194000 | #Constraints: 103274
3271.96/3279.93 c #Conflicts: 1195000 | #Constraints: 104274
3271.96/3279.93 c #Conflicts: 1196000 | #Constraints: 105274
3271.96/3279.93 c #Conflicts: 1197000 | #Constraints: 106274
3271.96/3279.93 c #Conflicts: 1198000 | #Constraints: 107274
3271.96/3279.93 c #Conflicts: 1199000 | #Constraints: 108274
3271.96/3279.93 c #Conflicts: 1200000 | #Constraints: 109274
3271.96/3279.93 c #Conflicts: 1201000 | #Constraints: 110274
3271.96/3279.93 c #Conflicts: 1202000 | #Constraints: 111274
3271.96/3279.93 c #Conflicts: 1203000 | #Constraints: 112274
3271.96/3279.93 c #Conflicts: 1204000 | #Constraints: 113274
3271.96/3279.93 c #Conflicts: 1205000 | #Constraints: 114274
3271.96/3279.93 c #Conflicts: 1206000 | #Constraints: 115274
3271.96/3279.93 c #Conflicts: 1207000 | #Constraints: 116274
3271.96/3279.93 c #Conflicts: 1208000 | #Constraints: 117274
3271.96/3279.93 c #Conflicts: 1209000 | #Constraints: 118274
3271.96/3279.93 c #Conflicts: 1210000 | #Constraints: 119274
3271.96/3279.93 c #Conflicts: 1211000 | #Constraints: 120274
3271.96/3279.93 c #Conflicts: 1212000 | #Constraints: 121274
3271.96/3279.93 c #Conflicts: 1213000 | #Constraints: 122274
3271.96/3279.93 c #Conflicts: 1214000 | #Constraints: 123274
3271.96/3279.93 c #Conflicts: 1215000 | #Constraints: 124274
3271.96/3279.93 c #Conflicts: 1216000 | #Constraints: 125274
3271.96/3279.93 c #Conflicts: 1217000 | #Constraints: 126274
3271.96/3279.93 c #Conflicts: 1218000 | #Constraints: 127274
3271.96/3279.93 c #Conflicts: 1219000 | #Constraints: 128274
3271.96/3279.93 c #Conflicts: 1220000 | #Constraints: 129274
3271.96/3279.93 c #Conflicts: 1221000 | #Constraints: 130274
3271.96/3279.93 c #Conflicts: 1222000 | #Constraints: 131274
3271.96/3279.93 c #Conflicts: 1223000 | #Constraints: 132274
3271.96/3279.93 c #Conflicts: 1224000 | #Constraints: 133274
3271.96/3279.93 c #Conflicts: 1225000 | #Constraints: 134274
3271.96/3279.93 c #Conflicts: 1226000 | #Constraints: 135274
3271.96/3279.93 c #Conflicts: 1227000 | #Constraints: 136274
3271.96/3279.93 c #Conflicts: 1228000 | #Constraints: 137274
3271.96/3279.93 c INPROCESSING
3271.96/3279.93 c GARBAGE COLLECT
3271.96/3279.93 c #Conflicts: 1229000 | #Constraints: 79578
3271.96/3279.93 c #Conflicts: 1230000 | #Constraints: 80578
3271.96/3279.93 c #Conflicts: 1231000 | #Constraints: 81578
3271.96/3279.93 c #Conflicts: 1232000 | #Constraints: 82578
3271.96/3279.93 c #Conflicts: 1233000 | #Constraints: 83578
3271.96/3279.93 c #Conflicts: 1234000 | #Constraints: 84578
3271.96/3279.93 c #Conflicts: 1235000 | #Constraints: 85578
3271.96/3279.93 c #Conflicts: 1236000 | #Constraints: 86578
3271.96/3279.93 c #Conflicts: 1237000 | #Constraints: 87578
3271.96/3279.93 c #Conflicts: 1238000 | #Constraints: 88578
3271.96/3279.93 c #Conflicts: 1239000 | #Constraints: 89578
3271.96/3279.93 c #Conflicts: 1240000 | #Constraints: 90578
3271.96/3279.93 c #Conflicts: 1241000 | #Constraints: 91578
3271.96/3279.93 c #Conflicts: 1242000 | #Constraints: 92578
3271.96/3279.93 c #Conflicts: 1243000 | #Constraints: 93578
3271.96/3279.93 c #Conflicts: 1244000 | #Constraints: 94578
3271.96/3279.93 c #Conflicts: 1245000 | #Constraints: 95578
3271.96/3279.93 c #Conflicts: 1246000 | #Constraints: 96578
3271.96/3279.93 c #Conflicts: 1247000 | #Constraints: 97578
3271.96/3279.93 c #Conflicts: 1248000 | #Constraints: 98578
3271.96/3279.93 c #Conflicts: 1249000 | #Constraints: 99578
3271.96/3279.93 c #Conflicts: 1250000 | #Constraints: 100578
3271.96/3279.93 c #Conflicts: 1251000 | #Constraints: 101578
3271.96/3279.93 c #Conflicts: 1252000 | #Constraints: 102578
3271.96/3279.93 c #Conflicts: 1253000 | #Constraints: 103578
3271.96/3279.93 c #Conflicts: 1254000 | #Constraints: 104578
3271.96/3279.93 c #Conflicts: 1255000 | #Constraints: 105578
3271.96/3279.93 c #Conflicts: 1256000 | #Constraints: 106578
3521.05/3529.67 c #Conflicts: 1257000 | #Constraints: 107578
3521.05/3529.67 c #Conflicts: 1258000 | #Constraints: 108578
3521.05/3529.67 c #Conflicts: 1259000 | #Constraints: 109578
3521.05/3529.67 c INPROCESSING
3521.05/3529.67 c GARBAGE COLLECT
3521.05/3529.67 c #Conflicts: 1260000 | #Constraints: 68679
3521.05/3529.67 c #Conflicts: 1261000 | #Constraints: 69679
3521.05/3529.67 c #Conflicts: 1262000 | #Constraints: 70679
3521.05/3529.67 c #Conflicts: 1263000 | #Constraints: 71679
3521.05/3529.67 c #Conflicts: 1264000 | #Constraints: 72679
3521.05/3529.67 c #Conflicts: 1265000 | #Constraints: 73679
3521.05/3529.67 c #Conflicts: 1266000 | #Constraints: 74679
3521.05/3529.67 c #Conflicts: 1267000 | #Constraints: 75679
3521.05/3529.67 c #Conflicts: 1268000 | #Constraints: 76679
3521.05/3529.67 c #Conflicts: 1269000 | #Constraints: 77679
3521.05/3529.67 c #Conflicts: 1270000 | #Constraints: 78679
3521.05/3529.67 c #Conflicts: 1271000 | #Constraints: 79679
3521.05/3529.67 c #Conflicts: 1272000 | #Constraints: 80679
3521.05/3529.67 c #Conflicts: 1273000 | #Constraints: 81679
3521.05/3529.67 c #Conflicts: 1274000 | #Constraints: 82679
3521.05/3529.67 c #Conflicts: 1275000 | #Constraints: 83679
3521.05/3529.67 c #Conflicts: 1276000 | #Constraints: 84679
3521.05/3529.67 c #Conflicts: 1277000 | #Constraints: 85679
3521.05/3529.67 c #Conflicts: 1278000 | #Constraints: 86679
3521.05/3529.67 c #Conflicts: 1279000 | #Constraints: 87679
3521.05/3529.67 c #Conflicts: 1280000 | #Constraints: 88679
3521.05/3529.67 c #Conflicts: 1281000 | #Constraints: 89679
3521.05/3529.67 c #Conflicts: 1282000 | #Constraints: 90679
3521.05/3529.67 c #Conflicts: 1283000 | #Constraints: 91679
3521.05/3529.67 c #Conflicts: 1284000 | #Constraints: 92679
3521.05/3529.67 c #Conflicts: 1285000 | #Constraints: 93679
3521.05/3529.67 c #Conflicts: 1286000 | #Constraints: 94679
3521.05/3529.67 c #Conflicts: 1287000 | #Constraints: 95679
3521.05/3529.67 c #Conflicts: 1288000 | #Constraints: 96679
3521.05/3529.67 c #Conflicts: 1289000 | #Constraints: 97679
3521.05/3529.67 c #Conflicts: 1290000 | #Constraints: 98679
3521.05/3529.67 c #Conflicts: 1291000 | #Constraints: 99679
3521.05/3529.67 c #Conflicts: 1292000 | #Constraints: 100679
3521.05/3529.67 c #Conflicts: 1293000 | #Constraints: 101679
3521.05/3529.67 c #Conflicts: 1294000 | #Constraints: 102679
3521.05/3529.67 c #Conflicts: 1295000 | #Constraints: 103679
3521.05/3529.67 c #Conflicts: 1296000 | #Constraints: 104679
3521.05/3529.67 c #Conflicts: 1297000 | #Constraints: 105679
3521.05/3529.67 c #Conflicts: 1298000 | #Constraints: 106679
3521.05/3529.67 c #Conflicts: 1299000 | #Constraints: 107679
3521.05/3529.67 c #Conflicts: 1300000 | #Constraints: 108680
3521.05/3529.67 c #Conflicts: 1301000 | #Constraints: 109680
3521.05/3529.67 c #Conflicts: 1302000 | #Constraints: 110680
3521.05/3529.67 c #Conflicts: 1303000 | #Constraints: 111680
3521.05/3529.67 c #Conflicts: 1304000 | #Constraints: 112680
3521.05/3529.67 c #Conflicts: 1305000 | #Constraints: 113680
3521.05/3529.67 c #Conflicts: 1306000 | #Constraints: 114680
3521.05/3529.67 c #Conflicts: 1307000 | #Constraints: 115680
3521.05/3529.67 c #Conflicts: 1308000 | #Constraints: 116680
3521.05/3529.67 c #Conflicts: 1309000 | #Constraints: 117680
3521.05/3529.67 c #Conflicts: 1310000 | #Constraints: 118680
3521.05/3529.67 c #Conflicts: 1311000 | #Constraints: 119680
3521.05/3529.67 c #Conflicts: 1312000 | #Constraints: 120680
3521.05/3529.67 c #Conflicts: 1313000 | #Constraints: 121680
3521.05/3529.67 c #Conflicts: 1314000 | #Constraints: 122680
3521.05/3529.67 c #Conflicts: 1315000 | #Constraints: 123680
3521.05/3529.67 c #Conflicts: 1316000 | #Constraints: 124680
3521.05/3529.67 c #Conflicts: 1317000 | #Constraints: 125680
3521.05/3529.67 c #Conflicts: 1318000 | #Constraints: 126680
3521.05/3529.67 c #Conflicts: 1319000 | #Constraints: 127680
3521.05/3529.67 c #Conflicts: 1320000 | #Constraints: 128680
3521.05/3529.67 c #Conflicts: 1321000 | #Constraints: 129680
3521.05/3529.67 c #Conflicts: 1322000 | #Constraints: 130680
3521.05/3529.67 c #Conflicts: 1323000 | #Constraints: 131680
3521.05/3529.67 c #Conflicts: 1324000 | #Constraints: 132680
3521.05/3529.67 c #Conflicts: 1325000 | #Constraints: 133680
3521.05/3529.67 c #Conflicts: 1326000 | #Constraints: 134680
3521.05/3529.67 c #Conflicts: 1327000 | #Constraints: 135680
3521.05/3529.67 c #Conflicts: 1328000 | #Constraints: 136680
3521.05/3529.67 c #Conflicts: 1329000 | #Constraints: 137680
3521.05/3529.67 c #Conflicts: 1330000 | #Constraints: 138680
3521.05/3529.67 c #Conflicts: 1331000 | #Constraints: 139680
3521.05/3529.67 c #Conflicts: 1332000 | #Constraints: 140680
3521.05/3529.67 c #Conflicts: 1333000 | #Constraints: 141680
3521.05/3529.67 c #Conflicts: 1334000 | #Constraints: 142680
3579.98/3588.71 c #Conflicts: 1335000 | #Constraints: 143680
3579.98/3588.71 c INPROCESSING
3579.98/3588.71 c GARBAGE COLLECT
3579.98/3588.71 c rational objective 150
3600.03/3608.80 c #Conflicts: 1336000 | #Constraints: 83067
3600.03/3608.80 c #Conflicts: 1337000 | #Constraints: 84067
3600.03/3608.80 c #Conflicts: 1338000 | #Constraints: 85067
3600.03/3608.80 c #Conflicts: 1339000 | #Constraints: 86067
3600.03/3608.80 c #Conflicts: 1340000 | #Constraints: 87067
3600.03/3608.80 c cpu time 3570.58 s
3600.03/3608.80 c deterministic time 226058665020 2.26e+11
3600.03/3608.80 c optimization time 13.607 s
3600.03/3608.80 c total solve time 3556.88 s
3600.03/3608.80 c core-guided solve time 0 s
3600.03/3608.80 c propagation time 1727.45 s
3600.03/3608.80 c conflict analysis time 1437.68 s
3600.03/3608.80 c propagations 1326084277
3600.03/3608.80 c resolve steps 91365594
3600.03/3608.80 c decisions 24334153
3600.03/3608.80 c conflicts 1340881
3600.03/3608.80 c restarts 2557
3600.03/3608.80 c inprocessing phases 50
3600.03/3608.80 c garbage collections 50 ,( 100.00 )
3600.03/3608.80 c input clauses 18002 ,( 99.17 )
3600.03/3608.80 c input cardinalities 150 ,( 0.83 )
3600.03/3608.80 c input general constraints 0 ,( 0.00 )
3600.03/3608.80 c input average constraint length 6.43
3600.03/3608.80 c input average constraint degree 1.97
3600.03/3608.80 c learned clauses 993239 ,( 74.07 )
3600.03/3608.80 c learned cardinalities 40071 ,( 2.99 )
3600.03/3608.80 c learned general constraints 307584 ,( 22.94 )
3600.03/3608.80 c learned average constraint length 765.75
3600.03/3608.80 c learned average constraint degree 44955038.78
3600.03/3608.80 c watched CF 32, 64, 128, Arb: 82123 , 0 , 0 , 0
3600.03/3608.80 c counting CF 32, 64, 128, Arb: 225461 , 0 , 0 , 0
3600.03/3608.80 c watched constraints 82123 ,( 26.70 )
3600.03/3608.80 c counting constraints 225461 ,( 73.30 )
3600.03/3608.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1250461827 , 594734617 , 2599405447 ,( 81613371 , 2517792076 )
3600.03/3608.80 c gcd simplifications 871
3600.03/3608.80 c detected cardinalities 5238
3600.03/3608.80 c weakened non-implied lits 391275278
3600.03/3608.80 c weakened non-implying lits 209754
3600.03/3608.80 c original variables 17850
3600.03/3608.80 c clausal propagations 605601388
3600.03/3608.80 c cardinality propagations 482307244
3600.03/3608.80 c watched propagations 5311813
3600.03/3608.80 c counting propagations 221154321
3600.03/3608.80 c watch lookups 84754877012
3600.03/3608.80 c watch backjump lookups 0
3600.03/3608.80 c watch checks 31897384628
3600.03/3608.80 c propagation checks 101912639812
3600.03/3608.80 c constraint additions 4791288948
3600.03/3608.80 c trail pops 1351743073
3600.03/3608.80 c formula constraints 18152
3600.03/3608.80 c learned constraints 1340869
3600.03/3608.80 c bound constraints 0
3600.03/3608.80 c core-guided constraints 0
3600.03/3608.80 c encountered formula constraints 60615822
3600.03/3608.80 c encountered learned constraints 32089323
3600.03/3608.80 c encountered bound constraints 0
3600.03/3608.80 c encountered core-guided constraints 0
3600.03/3608.80 c LP total time 374.968 s
3600.03/3608.80 c LP solve time 354.73 s
3600.03/3608.80 c LP constraints added 18493
3600.03/3608.80 c LP constraints removed 68
3600.03/3608.80 c LP pivots internal 143437
3600.03/3608.80 c LP pivots root 169679
3600.03/3608.80 c LP calls 22
3600.03/3608.80 c LP optimalities 4
3600.03/3608.80 c LP no pivot count 0
3600.03/3608.80 c LP infeasibilities 11
3600.03/3608.80 c LP valid Farkas constraints 11
3600.03/3608.80 c LP learned Farkas constraints 11
3600.03/3608.80 c LP basis resets 0
3600.03/3608.80 c LP cycling count 0
3600.03/3608.80 c LP singular count 0
3600.03/3608.80 c LP no primal count 0
3600.03/3608.80 c LP no farkas count 0
3600.03/3608.80 c LP other issue count 0
3600.03/3608.80 c LP Gomory cuts 3
3600.03/3608.80 c LP learned cuts 601
3600.03/3608.80 c LP deleted cuts 300
3600.03/3608.80 c LP encountered Gomory constraints 0
3600.03/3608.80 c LP encountered Farkas constraints 1315
3600.03/3608.80 c LP encountered learned Farkas constraints 4
3600.03/3608.80 c CG auxiliary variables introduced 0
3600.03/3608.80 c CG solutions found 0
3600.03/3608.80 c CG cores constructed 0
3600.03/3608.80 c CG core cardinality constraints returned 0
3600.03/3608.80 c CG unit cores 0
3600.03/3608.80 c CG single cores 0
3600.03/3608.80 c CG blocks removed during cardinality reduction 0
3600.03/3608.80 c CG first core best 0
3600.03/3608.80 c CG decision core best 0
3600.03/3608.80 c CG core reduction tie 0
3600.03/3608.80 c CG core degree average 0.00
3600.03/3608.80 c CG core slack average 0.00
3600.03/3608.80 c CG core upper bound improvements 0
3600.03/3608.80 c STR number of successful calls 0
3600.03/3608.80 c STR number of unsuccessful calls 0
3600.03/3608.80 c STR number of inconclusive calls 0
3600.03/3608.80 c STR number of successful attempts 0
3600.03/3608.80 c STR number of unsuccessful attempts 0
3600.03/3608.80 c STR number of inconclusive attempts 0
3600.03/3608.80 c STR average degree increase per successful call inf
3600.03/3608.80 c STR average degree increase per successful attempt inf
3600.03/3608.80 c STR total number of conflicts for successful attempts 0
3600.03/3608.80 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3608.80 c STR total number of conflicts for inconclusive attempts 0
3600.03/3608.80 c STR average number of conflicts per successful attempt inf
3600.03/3608.80 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3608.80 c STR average number of conflicts per inconclusive attempt inf
3600.03/3608.80 c AVG.sumWPerc 65.15
3600.03/3608.80 c bigint constraints 0
3600.03/3608.80 s UNKNOWN
3600.03/3608.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (54101 MiB free)
memory of node 1: 64507 MiB (63976 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507087-1751175082/watcher-4507087-1751175082 -o /tmp/evaluation-result-4507087-1751175082/solver-4507087-1751175082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18821 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507087-1751175082.opb PROOFDIR/proof-4507087-1751175082
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19831, runsolver pid=19828
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.15 4.13 4.10 5/270 19833
/proc/meminfo: memFree=120903056/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=74104 memory=29176 CPUtime=0.08 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 5589 0 0 0 6 2 0 0 20 0 1 0 33187051 75882496 7294 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 18526 7294 2272 1147 0 5953 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78296 KiB
Current children cumulated memory: 32248 KiB
[startup+0.205666 s]*
/proc/loadavg: 4.15 4.13 4.10 5/270 19833
/proc/meminfo: memFree=120887620/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=110916 memory=56232 CPUtime=0.18 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 11094 0 0 0 15 3 0 0 20 0 1 0 33187051 113577984 14058 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 27729 14058 2272 1147 0 15156 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 115108 KiB
Current children cumulated memory: 59304 KiB
[startup+0.30562 s]*
/proc/loadavg: 4.15 4.13 4.10 5/270 19833
/proc/meminfo: memFree=120885604/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=112332 memory=57896 CPUtime=0.29 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 11530 0 0 0 25 4 0 0 20 0 1 0 33187051 115027968 14474 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 28083 14474 2272 1147 0 15510 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 116524 KiB
Current children cumulated memory: 60968 KiB
[startup+0.700184 s]
/proc/loadavg: 4.15 4.13 4.10 5/269 19833
/proc/meminfo: memFree=121413068/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=112332 memory=58280 CPUtime=0.68 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 11593 0 0 0 64 4 0 0 20 0 1 0 33187051 115027968 14570 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 28083 14570 2304 1147 0 15510 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116524 KiB
Current children cumulated memory: 61352 KiB
[startup+1.5002 s]
/proc/loadavg: 4.22 4.14 4.10 4/267 19859
/proc/meminfo: memFree=122193112/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=112332 memory=58280 CPUtime=1.47 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 11593 0 0 0 143 4 0 0 20 0 1 0 33187051 115027968 14570 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 28083 14570 2304 1147 0 15510 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 116524 KiB
Current children cumulated memory: 61352 KiB
[startup+3.10547 s]
/proc/loadavg: 4.22 4.14 4.10 4/269 19879
/proc/meminfo: memFree=122314348/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=114828 memory=61352 CPUtime=3.07 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 12350 0 0 0 302 5 0 0 20 0 1 0 33187051 117583872 15338 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 28707 15338 2304 1147 0 16134 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 119020 KiB
Current children cumulated memory: 64424 KiB
[startup+6.30018 s]
/proc/loadavg: 4.20 4.14 4.10 5/270 19925
/proc/meminfo: memFree=129809540/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=119684 memory=69260 CPUtime=6.26 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 13796 0 0 0 612 14 0 0 20 0 1 0 33187051 122556416 17315 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 29921 17315 2336 1147 0 17348 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 123876 KiB
Current children cumulated memory: 72332 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.14 4.10 5/269 19925
/proc/meminfo: memFree=129750600/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=129108 memory=77580 CPUtime=12.64 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 15911 0 0 0 1238 26 0 0 20 0 1 0 33187051 132206592 19395 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 32277 19395 2336 1147 0 19704 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 133300 KiB
Current children cumulated memory: 80652 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.10 5/269 19925
/proc/meminfo: memFree=129535324/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=152684 memory=97616 CPUtime=25.41 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 19894 0 0 0 2488 53 0 0 20 0 1 0 33187051 156348416 24404 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 38171 24404 2336 1147 0 25598 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 156876 KiB
Current children cumulated memory: 100688 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 4.14 4.10 5/269 19926
/proc/meminfo: memFree=129310328/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=176736 memory=117612 CPUtime=50.93 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 23360 0 0 0 4995 98 0 0 20 0 1 0 33187051 180977664 29403 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 44184 29403 2336 1147 0 31611 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 180928 KiB
Current children cumulated memory: 120684 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/271 19929
/proc/meminfo: memFree=128798216/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=218172 memory=149032 CPUtime=101.99 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 29243 0 0 0 10035 164 0 0 20 0 1 0 33187051 223408128 37258 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 54543 37258 2336 1147 0 41970 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 222364 KiB
Current children cumulated memory: 152104 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/270 19933
/proc/meminfo: memFree=128174876/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=282008 memory=224828 CPUtime=161.83 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 38014 0 0 0 15937 246 0 0 20 0 1 0 33187051 288776192 56207 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 70502 56207 2336 1147 0 57929 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 286200 KiB
Current children cumulated memory: 227900 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/270 19935
/proc/meminfo: memFree=127600060/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=289744 memory=234172 CPUtime=221.68 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 40004 0 0 0 21839 329 0 0 20 0 1 0 33187051 296697856 58543 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 72436 58543 2336 1147 0 59863 0
################
# More data... #
################
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=1279268 memory=1094620 CPUtime=3154.65 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 161485 0 0 0 312829 2636 0 0 20 0 1 0 33187051 1309970432 273655 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 319817 273655 2336 1147 0 307244 0
Current children cumulated CPU time: 3154.65 s
Current children cumulated vsize: 1283460 KiB
Current children cumulated memory: 1097692 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 20094
/proc/meminfo: memFree=103963740/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=1287688 memory=1100892 CPUtime=3214.49 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 163063 0 0 0 318779 2670 0 0 20 0 1 0 33187051 1318592512 275223 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 321922 275223 2336 1147 0 309349 0
Current children cumulated CPU time: 3214.49 s
Current children cumulated vsize: 1291880 KiB
Current children cumulated memory: 1103964 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/270 20101
/proc/meminfo: memFree=103658512/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=1287688 memory=1101276 CPUtime=3274.35 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 163170 0 0 0 324709 2726 0 0 20 0 1 0 33187051 1318592512 275319 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 321922 275319 2336 1147 0 309349 0
Current children cumulated CPU time: 3274.35 s
Current children cumulated vsize: 1291880 KiB
Current children cumulated memory: 1104348 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 20103
/proc/meminfo: memFree=103235484/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=1288608 memory=1102300 CPUtime=3334.21 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 163402 0 0 0 330639 2782 0 0 20 0 1 0 33187051 1319534592 275575 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 322152 275575 2336 1147 0 309579 0
Current children cumulated CPU time: 3334.21 s
Current children cumulated vsize: 1292800 KiB
Current children cumulated memory: 1105372 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/272 20108
/proc/meminfo: memFree=102657764/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=1291604 memory=1104348 CPUtime=3394.06 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 164130 0 0 0 336571 2835 0 0 20 0 1 0 33187051 1322602496 276087 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 322901 276087 2336 1147 0 310328 0
Current children cumulated CPU time: 3394.06 s
Current children cumulated vsize: 1295796 KiB
Current children cumulated memory: 1107420 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 20110
/proc/meminfo: memFree=102390748/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=1291604 memory=1104732 CPUtime=3453.91 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 164224 0 0 0 342513 2878 0 0 20 0 1 0 33187051 1322602496 276183 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 322901 276183 2336 1147 0 310328 0
Current children cumulated CPU time: 3453.91 s
Current children cumulated vsize: 1295796 KiB
Current children cumulated memory: 1107804 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/272 20112
/proc/meminfo: memFree=102060804/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=1292840 memory=1106396 CPUtime=3513.76 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 164655 0 0 0 348477 2899 0 0 20 0 1 0 33187051 1323868160 276599 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 323210 276599 2336 1147 0 310637 0
Current children cumulated CPU time: 3513.76 s
Current children cumulated vsize: 1297032 KiB
Current children cumulated memory: 1109468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 20114
/proc/meminfo: memFree=101777656/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=1297552 memory=1110492 CPUtime=3573.59 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 165682 0 0 0 354437 2922 0 0 20 0 1 0 33187051 1328693248 277623 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 324388 277623 2336 1147 0 311815 0
Current children cumulated CPU time: 3573.59 s
Current children cumulated vsize: 1301744 KiB
Current children cumulated memory: 1113564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.08 4.11 4.09 4/265 20140
/proc/meminfo: memFree=102796492/131249988 swapFree=33010684/33010684
[pid=19831] ppid=19828 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19831/stat : 19831 (run-dec-ls-log.) S 19828 19831 18809 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33187050 4292608 768 18446744073709551615 94599160733696 94599161628229 140723572395440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94599161867280 94599161915024 94599191814144 140723572398363 140723572398561 140723572398561 140723572404163 0
/proc/19831/statm: 1048 768 704 219 0 110 0
[pid=19833] ppid=19831 vsize=1298080 memory=1111132 CPUtime=3600.03 cores=1,3
/proc/19833/stat : 19833 (roundingsat) R 19831 19831 18809 0 -1 4194304 165890 0 0 0 357058 2945 0 0 20 0 1 0 33187051 1329233920 277783 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 324520 277783 2336 1147 0 311947 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1302272 KiB
Current children cumulated memory: 1114204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.8 s]
# the end of solver process 19831 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002252 s
[startup+3609.2 s]
# the end of solver process 19833 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3570.59 s, system=29.4885 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.01 s]*
/proc/loadavg: 4.08 4.11 4.09 3/263 20145
/proc/meminfo: memFree=108917348/131249988 swapFree=33010684/33010684
[pid=19833] ppid=19828 vsize=1298080 memory=1111516 CPUtime=3600.04 cores=1,3
/proc/19833/stat : 19833 (roundingsat) D 19828 19831 18809 0 -1 4194304 165896 0 0 0 357058 2946 0 0 20 0 1 0 33187051 1329233920 277879 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 324520 277879 2432 1147 0 311947 0
Current cumulated CPU time of completed processes: 0.002252 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1298080 KiB
Current children cumulated memory: 1111516 KiB
[startup+3609.1 s]
/proc/loadavg: 4.08 4.11 4.09 3/263 20145
/proc/meminfo: memFree=108917348/131249988 swapFree=33010684/33010684
[pid=19833] ppid=19828 vsize=1298080 memory=1111516 CPUtime=3600.04 cores=1,3
/proc/19833/stat : 19833 (roundingsat) D 19828 19831 18809 0 -1 4194304 165896 0 0 0 357058 2946 0 0 20 0 1 0 33187051 1329233920 277879 18446744073709551615 4227072 8923433 140734182414976 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 21880832 140734182418768 140734182418984 140734182418984 140734182424554 0
/proc/19833/statm: 324520 277879 2432 1147 0 311947 0
Current cumulated CPU time of completed processes: 0.002252 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1298080 KiB
Current children cumulated memory: 1111516 KiB
Child status: 2
Real time (s): 3609.2
CPU time (s): 3600.08
CPU user time (s): 3570.59
CPU system time (s): 29.4885
CPU usage (%): 99.7475
Max. virtual memory (cumulated for all children) (KiB): 1302272
Max. memory (cumulated for all children) (KiB): 1114204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.59
system time used= 29.4885
maximum resident set size= 1111516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166119
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12288752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1558
involuntary context switches= 4681
# summary of solver processes directly reported to runsolver:
# pid: 19831,19833
# total CPU time (s): 3600.08
# total CPU user time (s): 3570.59
# total CPU system time (s): 29.4885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0326 second user time and 11.0248 second system time
The end
Begin job on nodeC034 at 2025-06-29 07:31:22
IDJOB=4507087
IDBENCH=158322
IDSOLVER=3354
FILE ID=nodeC034/4507087-1751175082
RUNJOBID= nodeC034-1751167846-18821
SLURM_JOB_ID= 9587509
Free space on /tmp= 433004 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507087-1751175082/watcher-4507087-1751175082 -o /tmp/evaluation-result-4507087-1751175082/solver-4507087-1751175082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18821 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507087-1751175082.opb PROOFDIR/proof-4507087-1751175082
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=632272311
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.739
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.801
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3579.847
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.959
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.756
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.749
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3537.515
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.783
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 120911196 kB
MemAvailable: 126940080 kB
Buffers: 3280 kB
Cached: 6832508 kB
SwapCached: 0 kB
Active: 3089672 kB
Inactive: 6611344 kB
Active(anon): 2883384 kB
Inactive(anon): 0 kB
Active(file): 206288 kB
Inactive(file): 6611344 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 101800 kB
Writeback: 24 kB
AnonPages: 2864736 kB
Mapped: 116144 kB
Shmem: 18104 kB
KReclaimable: 100580 kB
Slab: 189960 kB
SReclaimable: 100580 kB
SUnreclaim: 89380 kB
KernelStack: 4368 kB
PageTables: 8992 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 3632320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1648640 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC034 at 2025-06-29 08:31:31