0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.18/0.31 c #variables 17850 #constraints 18152
87.60/87.91 c #Conflicts: 1000 | #Constraints: 19151
87.60/87.91 c #Conflicts: 2000 | #Constraints: 20151
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 3000 | #Constraints: 19395
87.60/87.91 c #Conflicts: 4000 | #Constraints: 20395
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 5000 | #Constraints: 19885
87.60/87.91 c #Conflicts: 6000 | #Constraints: 20885
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 7000 | #Constraints: 19966
87.60/87.91 c #Conflicts: 8000 | #Constraints: 20966
87.60/87.91 c #Conflicts: 9000 | #Constraints: 21966
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 10000 | #Constraints: 20709
87.60/87.91 c #Conflicts: 11000 | #Constraints: 21709
87.60/87.91 c #Conflicts: 12000 | #Constraints: 22709
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 13000 | #Constraints: 21237
87.60/87.91 c #Conflicts: 14000 | #Constraints: 22237
87.60/87.91 c #Conflicts: 15000 | #Constraints: 23237
87.60/87.91 c #Conflicts: 16000 | #Constraints: 24237
87.60/87.91 c #Conflicts: 17000 | #Constraints: 25237
87.60/87.91 c #Conflicts: 18000 | #Constraints: 26237
87.60/87.91 c #Conflicts: 19000 | #Constraints: 27237
87.60/87.91 c #Conflicts: 20000 | #Constraints: 28237
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 21000 | #Constraints: 23900
87.60/87.91 c #Conflicts: 22000 | #Constraints: 24900
87.60/87.91 c #Conflicts: 23000 | #Constraints: 25900
87.60/87.91 c #Conflicts: 24000 | #Constraints: 26900
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 25000 | #Constraints: 23219
87.60/87.91 c #Conflicts: 26000 | #Constraints: 24219
87.60/87.91 c #Conflicts: 27000 | #Constraints: 25219
87.60/87.91 c #Conflicts: 28000 | #Constraints: 26219
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 29000 | #Constraints: 22755
87.60/87.91 c #Conflicts: 30000 | #Constraints: 23755
87.60/87.91 c #Conflicts: 31000 | #Constraints: 24755
87.60/87.91 c #Conflicts: 32000 | #Constraints: 25755
87.60/87.91 c #Conflicts: 33000 | #Constraints: 26755
87.60/87.91 c #Conflicts: 34000 | #Constraints: 27755
87.60/87.91 c #Conflicts: 35000 | #Constraints: 28755
87.60/87.91 c #Conflicts: 36000 | #Constraints: 29755
87.60/87.91 c #Conflicts: 37000 | #Constraints: 30755
87.60/87.91 c #Conflicts: 38000 | #Constraints: 31755
87.60/87.91 c #Conflicts: 39000 | #Constraints: 32755
87.60/87.91 c #Conflicts: 40000 | #Constraints: 33755
87.60/87.91 c #Conflicts: 41000 | #Constraints: 34755
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 42000 | #Constraints: 27239
87.60/87.91 c #Conflicts: 43000 | #Constraints: 28239
87.60/87.91 c #Conflicts: 44000 | #Constraints: 29239
87.60/87.91 c #Conflicts: 45000 | #Constraints: 30239
87.60/87.91 c #Conflicts: 46000 | #Constraints: 31239
87.60/87.91 c #Conflicts: 47000 | #Constraints: 32239
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 48000 | #Constraints: 26297
87.60/87.91 c #Conflicts: 49000 | #Constraints: 27297
87.60/87.91 c #Conflicts: 50000 | #Constraints: 28297
87.60/87.91 c #Conflicts: 51000 | #Constraints: 29297
87.60/87.91 c #Conflicts: 52000 | #Constraints: 30297
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 53000 | #Constraints: 25381
87.60/87.91 c #Conflicts: 54000 | #Constraints: 26381
87.60/87.91 c #Conflicts: 55000 | #Constraints: 27381
87.60/87.91 c #Conflicts: 56000 | #Constraints: 28381
87.60/87.91 c #Conflicts: 57000 | #Constraints: 29381
87.60/87.91 c #Conflicts: 58000 | #Constraints: 30381
87.60/87.91 c #Conflicts: 59000 | #Constraints: 31381
87.60/87.91 c #Conflicts: 60000 | #Constraints: 32381
87.60/87.91 c #Conflicts: 61000 | #Constraints: 33381
87.60/87.91 c #Conflicts: 62000 | #Constraints: 34381
87.60/87.91 c #Conflicts: 63000 | #Constraints: 35381
87.60/87.91 c #Conflicts: 64000 | #Constraints: 36381
87.60/87.91 c #Conflicts: 65000 | #Constraints: 37381
87.60/87.91 c #Conflicts: 66000 | #Constraints: 38381
87.60/87.91 c #Conflicts: 67000 | #Constraints: 39381
87.60/87.91 c #Conflicts: 68000 | #Constraints: 40381
87.60/87.91 c #Conflicts: 69000 | #Constraints: 41381
87.60/87.91 c INPROCESSING
87.60/87.91 c GARBAGE COLLECT
87.60/87.91 c #Conflicts: 70000 | #Constraints: 30597
87.60/87.91 c #Conflicts: 71000 | #Constraints: 31597
87.60/87.91 c #Conflicts: 72000 | #Constraints: 32597
196.78/197.40 c #Conflicts: 73000 | #Constraints: 33597
196.78/197.40 c #Conflicts: 74000 | #Constraints: 34597
196.78/197.40 c #Conflicts: 75000 | #Constraints: 35597
196.78/197.40 c #Conflicts: 76000 | #Constraints: 36597
196.78/197.40 c INPROCESSING
196.78/197.40 c GARBAGE COLLECT
196.78/197.40 c #Conflicts: 77000 | #Constraints: 28162
196.78/197.40 c #Conflicts: 78000 | #Constraints: 29162
196.78/197.40 c #Conflicts: 79000 | #Constraints: 30162
196.78/197.40 c #Conflicts: 80000 | #Constraints: 31162
196.78/197.40 c #Conflicts: 81000 | #Constraints: 32162
196.78/197.40 c #Conflicts: 82000 | #Constraints: 33162
196.78/197.40 c #Conflicts: 83000 | #Constraints: 34162
196.78/197.40 c #Conflicts: 84000 | #Constraints: 35162
196.78/197.40 c #Conflicts: 85000 | #Constraints: 36162
196.78/197.40 c #Conflicts: 86000 | #Constraints: 37162
196.78/197.40 c #Conflicts: 87000 | #Constraints: 38162
196.78/197.40 c #Conflicts: 88000 | #Constraints: 39162
196.78/197.40 c #Conflicts: 89000 | #Constraints: 40162
196.78/197.40 c #Conflicts: 90000 | #Constraints: 41162
196.78/197.40 c #Conflicts: 91000 | #Constraints: 42162
196.78/197.40 c #Conflicts: 92000 | #Constraints: 43162
196.78/197.40 c #Conflicts: 93000 | #Constraints: 44162
196.78/197.40 c #Conflicts: 94000 | #Constraints: 45162
196.78/197.40 c #Conflicts: 95000 | #Constraints: 46162
196.78/197.40 c #Conflicts: 96000 | #Constraints: 47162
196.78/197.40 c INPROCESSING
196.78/197.40 c GARBAGE COLLECT
196.78/197.40 c #Conflicts: 97000 | #Constraints: 33637
196.78/197.40 c #Conflicts: 98000 | #Constraints: 34637
196.78/197.40 c #Conflicts: 99000 | #Constraints: 35637
196.78/197.40 c #Conflicts: 100000 | #Constraints: 36637
196.78/197.40 c #Conflicts: 101000 | #Constraints: 37637
196.78/197.40 c #Conflicts: 102000 | #Constraints: 38637
196.78/197.40 c #Conflicts: 103000 | #Constraints: 39637
196.78/197.40 c #Conflicts: 104000 | #Constraints: 40637
196.78/197.40 c #Conflicts: 105000 | #Constraints: 41637
196.78/197.40 c INPROCESSING
196.78/197.40 c GARBAGE COLLECT
196.78/197.40 c #Conflicts: 106000 | #Constraints: 31149
196.78/197.40 c #Conflicts: 107000 | #Constraints: 32149
196.78/197.40 c #Conflicts: 108000 | #Constraints: 33149
196.78/197.40 c #Conflicts: 109000 | #Constraints: 34149
196.78/197.40 c #Conflicts: 110000 | #Constraints: 35149
196.78/197.40 c #Conflicts: 111000 | #Constraints: 36149
196.78/197.40 c #Conflicts: 112000 | #Constraints: 37149
196.78/197.40 c #Conflicts: 113000 | #Constraints: 38149
196.78/197.40 c #Conflicts: 114000 | #Constraints: 39149
196.78/197.40 c #Conflicts: 115000 | #Constraints: 40149
196.78/197.40 c #Conflicts: 116000 | #Constraints: 41149
196.78/197.40 c #Conflicts: 117000 | #Constraints: 42149
196.78/197.40 c #Conflicts: 118000 | #Constraints: 43149
196.78/197.40 c #Conflicts: 119000 | #Constraints: 44149
196.78/197.40 c #Conflicts: 120000 | #Constraints: 45149
196.78/197.40 c #Conflicts: 121000 | #Constraints: 46149
196.78/197.40 c #Conflicts: 122000 | #Constraints: 47149
196.78/197.40 c #Conflicts: 123000 | #Constraints: 48149
196.78/197.40 c #Conflicts: 124000 | #Constraints: 49149
196.78/197.40 c #Conflicts: 125000 | #Constraints: 50149
196.78/197.40 c #Conflicts: 126000 | #Constraints: 51149
196.78/197.40 c #Conflicts: 127000 | #Constraints: 52149
196.78/197.40 c #Conflicts: 128000 | #Constraints: 53149
196.78/197.40 c INPROCESSING
196.78/197.40 c GARBAGE COLLECT
196.78/197.40 c #Conflicts: 129000 | #Constraints: 37005
196.78/197.40 c #Conflicts: 130000 | #Constraints: 38005
196.78/197.40 c #Conflicts: 131000 | #Constraints: 39005
196.78/197.40 c #Conflicts: 132000 | #Constraints: 40005
196.78/197.40 c #Conflicts: 133000 | #Constraints: 41005
196.78/197.40 c #Conflicts: 134000 | #Constraints: 42005
196.78/197.40 c #Conflicts: 135000 | #Constraints: 43005
196.78/197.40 c #Conflicts: 136000 | #Constraints: 44005
196.78/197.40 c #Conflicts: 137000 | #Constraints: 45005
196.78/197.40 c INPROCESSING
196.78/197.40 c GARBAGE COLLECT
196.78/197.40 c #Conflicts: 138000 | #Constraints: 32711
196.78/197.40 c #Conflicts: 139000 | #Constraints: 33711
196.78/197.40 c #Conflicts: 140000 | #Constraints: 34711
196.78/197.40 c #Conflicts: 141000 | #Constraints: 35711
196.78/197.40 c #Conflicts: 142000 | #Constraints: 36711
196.78/197.40 c #Conflicts: 143000 | #Constraints: 37711
196.78/197.40 c #Conflicts: 144000 | #Constraints: 38711
196.78/197.40 c #Conflicts: 145000 | #Constraints: 39711
196.78/197.40 c #Conflicts: 146000 | #Constraints: 40711
196.78/197.40 c #Conflicts: 147000 | #Constraints: 41711
325.91/326.99 c #Conflicts: 148000 | #Constraints: 42711
325.91/326.99 c #Conflicts: 149000 | #Constraints: 43711
325.91/326.99 c #Conflicts: 150000 | #Constraints: 44711
325.91/326.99 c #Conflicts: 151000 | #Constraints: 45711
325.91/326.99 c #Conflicts: 152000 | #Constraints: 46711
325.91/326.99 c #Conflicts: 153000 | #Constraints: 47711
325.91/326.99 c #Conflicts: 154000 | #Constraints: 48711
325.91/326.99 c #Conflicts: 155000 | #Constraints: 49711
325.91/326.99 c #Conflicts: 156000 | #Constraints: 50711
325.91/326.99 c #Conflicts: 157000 | #Constraints: 51711
325.91/326.99 c #Conflicts: 158000 | #Constraints: 52711
325.91/326.99 c #Conflicts: 159000 | #Constraints: 53711
325.91/326.99 c #Conflicts: 160000 | #Constraints: 54711
325.91/326.99 c #Conflicts: 161000 | #Constraints: 55711
325.91/326.99 c #Conflicts: 162000 | #Constraints: 56711
325.91/326.99 c #Conflicts: 163000 | #Constraints: 57711
325.91/326.99 c INPROCESSING
325.91/326.99 c GARBAGE COLLECT
325.91/326.99 c #Conflicts: 164000 | #Constraints: 39013
325.91/326.99 c #Conflicts: 165000 | #Constraints: 40013
325.91/326.99 c #Conflicts: 166000 | #Constraints: 41013
325.91/326.99 c #Conflicts: 167000 | #Constraints: 42013
325.91/326.99 c #Conflicts: 168000 | #Constraints: 43013
325.91/326.99 c #Conflicts: 169000 | #Constraints: 44013
325.91/326.99 c #Conflicts: 170000 | #Constraints: 45013
325.91/326.99 c #Conflicts: 171000 | #Constraints: 46013
325.91/326.99 c #Conflicts: 172000 | #Constraints: 47013
325.91/326.99 c #Conflicts: 173000 | #Constraints: 48013
325.91/326.99 c #Conflicts: 174000 | #Constraints: 49013
325.91/326.99 c INPROCESSING
325.91/326.99 c GARBAGE COLLECT
325.91/326.99 c #Conflicts: 175000 | #Constraints: 34972
325.91/326.99 c #Conflicts: 176000 | #Constraints: 35972
325.91/326.99 c #Conflicts: 177000 | #Constraints: 36972
325.91/326.99 c #Conflicts: 178000 | #Constraints: 37972
325.91/326.99 c #Conflicts: 179000 | #Constraints: 38972
325.91/326.99 c #Conflicts: 180000 | #Constraints: 39972
325.91/326.99 c #Conflicts: 181000 | #Constraints: 40972
325.91/326.99 c #Conflicts: 182000 | #Constraints: 41972
325.91/326.99 c #Conflicts: 183000 | #Constraints: 42972
325.91/326.99 c #Conflicts: 184000 | #Constraints: 43972
325.91/326.99 c #Conflicts: 185000 | #Constraints: 44972
325.91/326.99 c #Conflicts: 186000 | #Constraints: 45972
325.91/326.99 c #Conflicts: 187000 | #Constraints: 46972
325.91/326.99 c #Conflicts: 188000 | #Constraints: 47972
325.91/326.99 c #Conflicts: 189000 | #Constraints: 48972
325.91/326.99 c #Conflicts: 190000 | #Constraints: 49972
325.91/326.99 c #Conflicts: 191000 | #Constraints: 50972
325.91/326.99 c #Conflicts: 192000 | #Constraints: 51972
325.91/326.99 c #Conflicts: 193000 | #Constraints: 52972
325.91/326.99 c #Conflicts: 194000 | #Constraints: 53972
325.91/326.99 c #Conflicts: 195000 | #Constraints: 54972
325.91/326.99 c #Conflicts: 196000 | #Constraints: 55972
325.91/326.99 c #Conflicts: 197000 | #Constraints: 56972
325.91/326.99 c #Conflicts: 198000 | #Constraints: 57972
325.91/326.99 c #Conflicts: 199000 | #Constraints: 58972
325.91/326.99 c #Conflicts: 200000 | #Constraints: 59972
325.91/326.99 c #Conflicts: 201000 | #Constraints: 60972
325.91/326.99 c #Conflicts: 202000 | #Constraints: 61972
325.91/326.99 c #Conflicts: 203000 | #Constraints: 62972
325.91/326.99 c #Conflicts: 204000 | #Constraints: 63972
325.91/326.99 c INPROCESSING
325.91/326.99 c GARBAGE COLLECT
325.91/326.99 c #Conflicts: 205000 | #Constraints: 42661
325.91/326.99 c #Conflicts: 206000 | #Constraints: 43661
325.91/326.99 c #Conflicts: 207000 | #Constraints: 44661
325.91/326.99 c #Conflicts: 208000 | #Constraints: 45661
325.91/326.99 c #Conflicts: 209000 | #Constraints: 46661
325.91/326.99 c #Conflicts: 210000 | #Constraints: 47661
325.91/326.99 c #Conflicts: 211000 | #Constraints: 48661
325.91/326.99 c #Conflicts: 212000 | #Constraints: 49661
325.91/326.99 c #Conflicts: 213000 | #Constraints: 50661
325.91/326.99 c #Conflicts: 214000 | #Constraints: 51661
325.91/326.99 c #Conflicts: 215000 | #Constraints: 52661
325.91/326.99 c #Conflicts: 216000 | #Constraints: 53661
325.91/326.99 c INPROCESSING
325.91/326.99 c GARBAGE COLLECT
325.91/326.99 c rational objective 150
396.69/397.99 c #Conflicts: 217000 | #Constraints: 37301
396.69/397.99 c #Conflicts: 218000 | #Constraints: 38301
396.69/397.99 c #Conflicts: 219000 | #Constraints: 39301
396.69/397.99 c #Conflicts: 220000 | #Constraints: 40301
396.69/397.99 c #Conflicts: 221000 | #Constraints: 41301
396.69/397.99 c #Conflicts: 222000 | #Constraints: 42301
396.69/397.99 c #Conflicts: 223000 | #Constraints: 43301
396.69/397.99 c #Conflicts: 224000 | #Constraints: 44301
396.69/397.99 c #Conflicts: 225000 | #Constraints: 45301
396.69/397.99 c #Conflicts: 226000 | #Constraints: 46301
396.69/397.99 c #Conflicts: 227000 | #Constraints: 47301
396.69/397.99 c #Conflicts: 228000 | #Constraints: 48301
396.69/397.99 c #Conflicts: 229000 | #Constraints: 49301
396.69/397.99 c #Conflicts: 230000 | #Constraints: 50301
396.69/397.99 c #Conflicts: 231000 | #Constraints: 51301
396.69/397.99 c #Conflicts: 232000 | #Constraints: 52301
396.69/397.99 c #Conflicts: 233000 | #Constraints: 53301
396.69/397.99 c #Conflicts: 234000 | #Constraints: 54301
396.69/397.99 c #Conflicts: 235000 | #Constraints: 55301
396.69/397.99 c #Conflicts: 236000 | #Constraints: 56301
396.69/397.99 c #Conflicts: 237000 | #Constraints: 57301
396.69/397.99 c #Conflicts: 238000 | #Constraints: 58301
396.69/397.99 c #Conflicts: 239000 | #Constraints: 59301
396.69/397.99 c #Conflicts: 240000 | #Constraints: 60301
396.69/397.99 c #Conflicts: 241000 | #Constraints: 61301
396.69/397.99 c #Conflicts: 242000 | #Constraints: 62301
396.69/397.99 c #Conflicts: 243000 | #Constraints: 63301
396.69/397.99 c #Conflicts: 244000 | #Constraints: 64301
396.69/397.99 c #Conflicts: 245000 | #Constraints: 65301
396.69/397.99 c #Conflicts: 246000 | #Constraints: 66301
396.69/397.99 c #Conflicts: 247000 | #Constraints: 67301
396.69/397.99 c #Conflicts: 248000 | #Constraints: 68301
396.69/397.99 c INPROCESSING
396.69/397.99 c GARBAGE COLLECT
396.69/397.99 c rational objective 150
532.89/534.59 c #Conflicts: 249000 | #Constraints: 44434
532.89/534.59 c #Conflicts: 250000 | #Constraints: 45434
532.89/534.59 c #Conflicts: 251000 | #Constraints: 46434
532.89/534.59 c #Conflicts: 252000 | #Constraints: 47434
532.89/534.59 c #Conflicts: 253000 | #Constraints: 48434
532.89/534.59 c #Conflicts: 254000 | #Constraints: 49434
532.89/534.59 c #Conflicts: 255000 | #Constraints: 50434
532.89/534.59 c #Conflicts: 256000 | #Constraints: 51435
532.89/534.59 c #Conflicts: 257000 | #Constraints: 52435
532.89/534.59 c #Conflicts: 258000 | #Constraints: 53435
532.89/534.59 c #Conflicts: 259000 | #Constraints: 54435
532.89/534.59 c #Conflicts: 260000 | #Constraints: 55435
532.89/534.59 c #Conflicts: 261000 | #Constraints: 56435
532.89/534.59 c #Conflicts: 262000 | #Constraints: 57435
532.89/534.59 c INPROCESSING
532.89/534.59 c GARBAGE COLLECT
532.89/534.59 c #Conflicts: 263000 | #Constraints: 39636
532.89/534.59 c #Conflicts: 264000 | #Constraints: 40636
532.89/534.59 c #Conflicts: 265000 | #Constraints: 41636
532.89/534.59 c #Conflicts: 266000 | #Constraints: 42636
532.89/534.59 c #Conflicts: 267000 | #Constraints: 43636
532.89/534.59 c #Conflicts: 268000 | #Constraints: 44636
532.89/534.59 c #Conflicts: 269000 | #Constraints: 45636
532.89/534.59 c #Conflicts: 270000 | #Constraints: 46636
532.89/534.59 c #Conflicts: 271000 | #Constraints: 47636
532.89/534.59 c #Conflicts: 272000 | #Constraints: 48636
532.89/534.59 c #Conflicts: 273000 | #Constraints: 49636
532.89/534.59 c #Conflicts: 274000 | #Constraints: 50636
532.89/534.59 c #Conflicts: 275000 | #Constraints: 51636
532.89/534.59 c #Conflicts: 276000 | #Constraints: 52636
532.89/534.59 c #Conflicts: 277000 | #Constraints: 53636
532.89/534.59 c #Conflicts: 278000 | #Constraints: 54636
532.89/534.59 c #Conflicts: 279000 | #Constraints: 55637
532.89/534.59 c #Conflicts: 280000 | #Constraints: 56637
532.89/534.59 c #Conflicts: 281000 | #Constraints: 57637
532.89/534.59 c #Conflicts: 282000 | #Constraints: 58637
532.89/534.59 c #Conflicts: 283000 | #Constraints: 59637
532.89/534.59 c #Conflicts: 284000 | #Constraints: 60637
532.89/534.59 c #Conflicts: 285000 | #Constraints: 61637
532.89/534.59 c #Conflicts: 286000 | #Constraints: 62637
532.89/534.59 c #Conflicts: 287000 | #Constraints: 63637
532.89/534.59 c #Conflicts: 288000 | #Constraints: 64637
532.89/534.59 c #Conflicts: 289000 | #Constraints: 65637
532.89/534.59 c #Conflicts: 290000 | #Constraints: 66638
532.89/534.59 c #Conflicts: 291000 | #Constraints: 67638
532.89/534.59 c #Conflicts: 292000 | #Constraints: 68638
532.89/534.59 c #Conflicts: 293000 | #Constraints: 69638
532.89/534.59 c #Conflicts: 294000 | #Constraints: 70638
532.89/534.59 c #Conflicts: 295000 | #Constraints: 71638
532.89/534.59 c #Conflicts: 296000 | #Constraints: 72638
532.89/534.59 c #Conflicts: 297000 | #Constraints: 73638
532.89/534.59 c INPROCESSING
532.89/534.59 c GARBAGE COLLECT
532.89/534.59 c #Conflicts: 298000 | #Constraints: 47231
532.89/534.59 c #Conflicts: 299000 | #Constraints: 48231
532.89/534.59 c #Conflicts: 300000 | #Constraints: 49231
532.89/534.59 c #Conflicts: 301000 | #Constraints: 50231
532.89/534.59 c #Conflicts: 302000 | #Constraints: 51232
532.89/534.59 c #Conflicts: 303000 | #Constraints: 52232
532.89/534.59 c #Conflicts: 304000 | #Constraints: 53232
532.89/534.59 c #Conflicts: 305000 | #Constraints: 54232
532.89/534.59 c #Conflicts: 306000 | #Constraints: 55232
532.89/534.59 c #Conflicts: 307000 | #Constraints: 56232
532.89/534.59 c #Conflicts: 308000 | #Constraints: 57232
532.89/534.59 c #Conflicts: 309000 | #Constraints: 58232
532.89/534.59 c #Conflicts: 310000 | #Constraints: 59232
532.89/534.59 c #Conflicts: 311000 | #Constraints: 60232
532.89/534.59 c #Conflicts: 312000 | #Constraints: 61232
532.89/534.59 c INPROCESSING
532.89/534.59 c GARBAGE COLLECT
532.89/534.59 c #Conflicts: 313000 | #Constraints: 41637
532.89/534.59 c #Conflicts: 314000 | #Constraints: 42637
532.89/534.59 c #Conflicts: 315000 | #Constraints: 43637
532.89/534.59 c #Conflicts: 316000 | #Constraints: 44637
532.89/534.59 c #Conflicts: 317000 | #Constraints: 45637
532.89/534.59 c #Conflicts: 318000 | #Constraints: 46637
532.89/534.59 c #Conflicts: 319000 | #Constraints: 47637
532.89/534.59 c #Conflicts: 320000 | #Constraints: 48637
532.89/534.59 c #Conflicts: 321000 | #Constraints: 49637
532.89/534.59 c #Conflicts: 322000 | #Constraints: 50637
532.89/534.59 c #Conflicts: 323000 | #Constraints: 51637
532.89/534.59 c #Conflicts: 324000 | #Constraints: 52637
532.89/534.59 c #Conflicts: 325000 | #Constraints: 53637
694.91/697.06 c #Conflicts: 326000 | #Constraints: 54637
694.91/697.06 c #Conflicts: 327000 | #Constraints: 55637
694.91/697.06 c #Conflicts: 328000 | #Constraints: 56637
694.91/697.06 c #Conflicts: 329000 | #Constraints: 57637
694.91/697.06 c #Conflicts: 330000 | #Constraints: 58637
694.91/697.06 c #Conflicts: 331000 | #Constraints: 59637
694.91/697.06 c #Conflicts: 332000 | #Constraints: 60637
694.91/697.06 c #Conflicts: 333000 | #Constraints: 61637
694.91/697.06 c #Conflicts: 334000 | #Constraints: 62637
694.91/697.06 c #Conflicts: 335000 | #Constraints: 63637
694.91/697.06 c #Conflicts: 336000 | #Constraints: 64637
694.91/697.06 c #Conflicts: 337000 | #Constraints: 65637
694.91/697.06 c #Conflicts: 338000 | #Constraints: 66637
694.91/697.06 c #Conflicts: 339000 | #Constraints: 67637
694.91/697.06 c #Conflicts: 340000 | #Constraints: 68637
694.91/697.06 c #Conflicts: 341000 | #Constraints: 69637
694.91/697.06 c #Conflicts: 342000 | #Constraints: 70637
694.91/697.06 c #Conflicts: 343000 | #Constraints: 71637
694.91/697.06 c #Conflicts: 344000 | #Constraints: 72637
694.91/697.06 c #Conflicts: 345000 | #Constraints: 73637
694.91/697.06 c #Conflicts: 346000 | #Constraints: 74637
694.91/697.06 c #Conflicts: 347000 | #Constraints: 75637
694.91/697.06 c #Conflicts: 348000 | #Constraints: 76637
694.91/697.06 c #Conflicts: 349000 | #Constraints: 77637
694.91/697.06 c #Conflicts: 350000 | #Constraints: 78637
694.91/697.06 c #Conflicts: 351000 | #Constraints: 79637
694.91/697.06 c INPROCESSING
694.91/697.06 c GARBAGE COLLECT
694.91/697.06 c #Conflicts: 352000 | #Constraints: 50659
694.91/697.06 c #Conflicts: 353000 | #Constraints: 51659
694.91/697.06 c #Conflicts: 354000 | #Constraints: 52659
694.91/697.06 c #Conflicts: 355000 | #Constraints: 53659
694.91/697.06 c #Conflicts: 356000 | #Constraints: 54659
694.91/697.06 c #Conflicts: 357000 | #Constraints: 55659
694.91/697.06 c #Conflicts: 358000 | #Constraints: 56659
694.91/697.06 c #Conflicts: 359000 | #Constraints: 57659
694.91/697.06 c #Conflicts: 360000 | #Constraints: 58659
694.91/697.06 c #Conflicts: 361000 | #Constraints: 59659
694.91/697.06 c #Conflicts: 362000 | #Constraints: 60659
694.91/697.06 c #Conflicts: 363000 | #Constraints: 61659
694.91/697.06 c #Conflicts: 364000 | #Constraints: 62659
694.91/697.06 c #Conflicts: 365000 | #Constraints: 63659
694.91/697.06 c #Conflicts: 366000 | #Constraints: 64659
694.91/697.06 c #Conflicts: 367000 | #Constraints: 65659
694.91/697.06 c INPROCESSING
694.91/697.06 c GARBAGE COLLECT
694.91/697.06 c #Conflicts: 368000 | #Constraints: 44213
694.91/697.06 c #Conflicts: 369000 | #Constraints: 45213
694.91/697.06 c #Conflicts: 370000 | #Constraints: 46213
694.91/697.06 c #Conflicts: 371000 | #Constraints: 47213
694.91/697.06 c #Conflicts: 372000 | #Constraints: 48213
694.91/697.06 c #Conflicts: 373000 | #Constraints: 49213
694.91/697.06 c #Conflicts: 374000 | #Constraints: 50213
694.91/697.06 c #Conflicts: 375000 | #Constraints: 51213
694.91/697.06 c #Conflicts: 376000 | #Constraints: 52213
694.91/697.06 c #Conflicts: 377000 | #Constraints: 53213
694.91/697.06 c #Conflicts: 378000 | #Constraints: 54213
694.91/697.06 c #Conflicts: 379000 | #Constraints: 55213
694.91/697.06 c #Conflicts: 380000 | #Constraints: 56213
694.91/697.06 c #Conflicts: 381000 | #Constraints: 57213
694.91/697.06 c #Conflicts: 382000 | #Constraints: 58213
694.91/697.06 c #Conflicts: 383000 | #Constraints: 59213
694.91/697.06 c #Conflicts: 384000 | #Constraints: 60213
694.91/697.06 c #Conflicts: 385000 | #Constraints: 61213
694.91/697.06 c #Conflicts: 386000 | #Constraints: 62213
694.91/697.06 c #Conflicts: 387000 | #Constraints: 63213
694.91/697.06 c #Conflicts: 388000 | #Constraints: 64213
694.91/697.06 c #Conflicts: 389000 | #Constraints: 65213
694.91/697.06 c #Conflicts: 390000 | #Constraints: 66213
694.91/697.06 c #Conflicts: 391000 | #Constraints: 67213
694.91/697.06 c #Conflicts: 392000 | #Constraints: 68213
694.91/697.06 c #Conflicts: 393000 | #Constraints: 69213
694.91/697.06 c #Conflicts: 394000 | #Constraints: 70213
694.91/697.06 c #Conflicts: 395000 | #Constraints: 71213
694.91/697.06 c #Conflicts: 396000 | #Constraints: 72213
694.91/697.06 c #Conflicts: 397000 | #Constraints: 73213
694.91/697.06 c #Conflicts: 398000 | #Constraints: 74213
694.91/697.06 c #Conflicts: 399000 | #Constraints: 75213
694.91/697.06 c #Conflicts: 400000 | #Constraints: 76213
694.91/697.06 c #Conflicts: 401000 | #Constraints: 77213
694.91/697.06 c #Conflicts: 402000 | #Constraints: 78213
694.91/697.06 c #Conflicts: 403000 | #Constraints: 79213
852.62/855.29 c #Conflicts: 404000 | #Constraints: 80213
852.62/855.29 c #Conflicts: 405000 | #Constraints: 81213
852.62/855.29 c #Conflicts: 406000 | #Constraints: 82213
852.62/855.29 c #Conflicts: 407000 | #Constraints: 83213
852.62/855.29 c #Conflicts: 408000 | #Constraints: 84213
852.62/855.29 c INPROCESSING
852.62/855.29 c GARBAGE COLLECT
852.62/855.29 c #Conflicts: 409000 | #Constraints: 52531
852.62/855.29 c #Conflicts: 410000 | #Constraints: 53531
852.62/855.29 c #Conflicts: 411000 | #Constraints: 54531
852.62/855.29 c #Conflicts: 412000 | #Constraints: 55531
852.62/855.29 c #Conflicts: 413000 | #Constraints: 56531
852.62/855.29 c #Conflicts: 414000 | #Constraints: 57531
852.62/855.29 c #Conflicts: 415000 | #Constraints: 58531
852.62/855.29 c #Conflicts: 416000 | #Constraints: 59531
852.62/855.29 c #Conflicts: 417000 | #Constraints: 60531
852.62/855.29 c #Conflicts: 418000 | #Constraints: 61531
852.62/855.29 c #Conflicts: 419000 | #Constraints: 62531
852.62/855.29 c #Conflicts: 420000 | #Constraints: 63531
852.62/855.29 c #Conflicts: 421000 | #Constraints: 64531
852.62/855.29 c #Conflicts: 422000 | #Constraints: 65531
852.62/855.29 c #Conflicts: 423000 | #Constraints: 66531
852.62/855.29 c #Conflicts: 424000 | #Constraints: 67531
852.62/855.29 c #Conflicts: 425000 | #Constraints: 68531
852.62/855.29 c #Conflicts: 426000 | #Constraints: 69531
852.62/855.29 c INPROCESSING
852.62/855.29 c GARBAGE COLLECT
852.62/855.29 c #Conflicts: 427000 | #Constraints: 46791
852.62/855.29 c #Conflicts: 428000 | #Constraints: 47791
852.62/855.29 c #Conflicts: 429000 | #Constraints: 48791
852.62/855.29 c #Conflicts: 430000 | #Constraints: 49791
852.62/855.29 c #Conflicts: 431000 | #Constraints: 50791
852.62/855.29 c #Conflicts: 432000 | #Constraints: 51791
852.62/855.29 c #Conflicts: 433000 | #Constraints: 52791
852.62/855.29 c #Conflicts: 434000 | #Constraints: 53791
852.62/855.29 c #Conflicts: 435000 | #Constraints: 54791
852.62/855.29 c #Conflicts: 436000 | #Constraints: 55791
852.62/855.29 c #Conflicts: 437000 | #Constraints: 56791
852.62/855.29 c #Conflicts: 438000 | #Constraints: 57791
852.62/855.29 c #Conflicts: 439000 | #Constraints: 58791
852.62/855.29 c #Conflicts: 440000 | #Constraints: 59791
852.62/855.29 c #Conflicts: 441000 | #Constraints: 60792
852.62/855.29 c #Conflicts: 442000 | #Constraints: 61792
852.62/855.29 c #Conflicts: 443000 | #Constraints: 62792
852.62/855.29 c #Conflicts: 444000 | #Constraints: 63792
852.62/855.29 c #Conflicts: 445000 | #Constraints: 64792
852.62/855.29 c #Conflicts: 446000 | #Constraints: 65792
852.62/855.29 c #Conflicts: 447000 | #Constraints: 66792
852.62/855.29 c #Conflicts: 448000 | #Constraints: 67792
852.62/855.29 c #Conflicts: 449000 | #Constraints: 68792
852.62/855.29 c #Conflicts: 450000 | #Constraints: 69792
852.62/855.29 c #Conflicts: 451000 | #Constraints: 70792
852.62/855.29 c #Conflicts: 452000 | #Constraints: 71792
852.62/855.29 c #Conflicts: 453000 | #Constraints: 72792
852.62/855.29 c #Conflicts: 454000 | #Constraints: 73792
852.62/855.29 c #Conflicts: 455000 | #Constraints: 74792
852.62/855.29 c #Conflicts: 456000 | #Constraints: 75792
852.62/855.29 c #Conflicts: 457000 | #Constraints: 76792
852.62/855.29 c #Conflicts: 458000 | #Constraints: 77792
852.62/855.29 c #Conflicts: 459000 | #Constraints: 78792
852.62/855.29 c #Conflicts: 460000 | #Constraints: 79792
852.62/855.29 c #Conflicts: 461000 | #Constraints: 80792
852.62/855.29 c #Conflicts: 462000 | #Constraints: 81792
852.62/855.29 c #Conflicts: 463000 | #Constraints: 82792
852.62/855.29 c #Conflicts: 464000 | #Constraints: 83792
852.62/855.29 c #Conflicts: 465000 | #Constraints: 84792
852.62/855.29 c #Conflicts: 466000 | #Constraints: 85792
852.62/855.29 c #Conflicts: 467000 | #Constraints: 86792
852.62/855.29 c #Conflicts: 468000 | #Constraints: 87792
852.62/855.29 c #Conflicts: 469000 | #Constraints: 88792
852.62/855.29 c #Conflicts: 470000 | #Constraints: 89792
852.62/855.29 c #Conflicts: 471000 | #Constraints: 90792
852.62/855.29 c INPROCESSING
852.62/855.29 c GARBAGE COLLECT
852.62/855.29 c #Conflicts: 472000 | #Constraints: 56229
852.62/855.29 c #Conflicts: 473000 | #Constraints: 57229
852.62/855.29 c #Conflicts: 474000 | #Constraints: 58229
852.62/855.29 c #Conflicts: 475000 | #Constraints: 59229
852.62/855.29 c #Conflicts: 476000 | #Constraints: 60229
852.62/855.29 c #Conflicts: 477000 | #Constraints: 61229
852.62/855.29 c #Conflicts: 478000 | #Constraints: 62229
852.62/855.29 c #Conflicts: 479000 | #Constraints: 63229
852.62/855.29 c #Conflicts: 480000 | #Constraints: 64229
1013.78/1016.83 c #Conflicts: 481000 | #Constraints: 65229
1013.78/1016.83 c #Conflicts: 482000 | #Constraints: 66229
1013.78/1016.83 c #Conflicts: 483000 | #Constraints: 67229
1013.78/1016.83 c #Conflicts: 484000 | #Constraints: 68229
1013.78/1016.83 c #Conflicts: 485000 | #Constraints: 69229
1013.78/1016.83 c #Conflicts: 486000 | #Constraints: 70229
1013.78/1016.83 c #Conflicts: 487000 | #Constraints: 71229
1013.78/1016.83 c #Conflicts: 488000 | #Constraints: 72229
1013.78/1016.83 c #Conflicts: 489000 | #Constraints: 73229
1013.78/1016.83 c INPROCESSING
1013.78/1016.83 c GARBAGE COLLECT
1013.78/1016.83 c #Conflicts: 490000 | #Constraints: 48267
1013.78/1016.83 c #Conflicts: 491000 | #Constraints: 49267
1013.78/1016.83 c #Conflicts: 492000 | #Constraints: 50267
1013.78/1016.83 c #Conflicts: 493000 | #Constraints: 51267
1013.78/1016.83 c #Conflicts: 494000 | #Constraints: 52267
1013.78/1016.83 c #Conflicts: 495000 | #Constraints: 53267
1013.78/1016.83 c #Conflicts: 496000 | #Constraints: 54267
1013.78/1016.83 c #Conflicts: 497000 | #Constraints: 55267
1013.78/1016.83 c #Conflicts: 498000 | #Constraints: 56267
1013.78/1016.83 c #Conflicts: 499000 | #Constraints: 57267
1013.78/1016.83 c #Conflicts: 500000 | #Constraints: 58267
1013.78/1016.83 c #Conflicts: 501000 | #Constraints: 59267
1013.78/1016.83 c #Conflicts: 502000 | #Constraints: 60267
1013.78/1016.83 c #Conflicts: 503000 | #Constraints: 61267
1013.78/1016.83 c #Conflicts: 504000 | #Constraints: 62267
1013.78/1016.83 c #Conflicts: 505000 | #Constraints: 63267
1013.78/1016.83 c #Conflicts: 506000 | #Constraints: 64267
1013.78/1016.83 c #Conflicts: 507000 | #Constraints: 65267
1013.78/1016.83 c #Conflicts: 508000 | #Constraints: 66267
1013.78/1016.83 c #Conflicts: 509000 | #Constraints: 67267
1013.78/1016.83 c #Conflicts: 510000 | #Constraints: 68267
1013.78/1016.83 c #Conflicts: 511000 | #Constraints: 69267
1013.78/1016.83 c #Conflicts: 512000 | #Constraints: 70267
1013.78/1016.83 c #Conflicts: 513000 | #Constraints: 71267
1013.78/1016.83 c #Conflicts: 514000 | #Constraints: 72267
1013.78/1016.83 c #Conflicts: 515000 | #Constraints: 73267
1013.78/1016.83 c #Conflicts: 516000 | #Constraints: 74267
1013.78/1016.83 c #Conflicts: 517000 | #Constraints: 75267
1013.78/1016.83 c #Conflicts: 518000 | #Constraints: 76267
1013.78/1016.83 c #Conflicts: 519000 | #Constraints: 77267
1013.78/1016.83 c #Conflicts: 520000 | #Constraints: 78267
1013.78/1016.83 c #Conflicts: 521000 | #Constraints: 79267
1013.78/1016.83 c #Conflicts: 522000 | #Constraints: 80267
1013.78/1016.83 c #Conflicts: 523000 | #Constraints: 81267
1013.78/1016.83 c #Conflicts: 524000 | #Constraints: 82267
1013.78/1016.83 c #Conflicts: 525000 | #Constraints: 83267
1013.78/1016.83 c #Conflicts: 526000 | #Constraints: 84267
1013.78/1016.83 c #Conflicts: 527000 | #Constraints: 85267
1013.78/1016.83 c #Conflicts: 528000 | #Constraints: 86267
1013.78/1016.83 c #Conflicts: 529000 | #Constraints: 87267
1013.78/1016.83 c #Conflicts: 530000 | #Constraints: 88267
1013.78/1016.83 c #Conflicts: 531000 | #Constraints: 89267
1013.78/1016.83 c #Conflicts: 532000 | #Constraints: 90267
1013.78/1016.83 c #Conflicts: 533000 | #Constraints: 91267
1013.78/1016.83 c #Conflicts: 534000 | #Constraints: 92267
1013.78/1016.83 c #Conflicts: 535000 | #Constraints: 93267
1013.78/1016.83 c #Conflicts: 536000 | #Constraints: 94267
1013.78/1016.83 c #Conflicts: 537000 | #Constraints: 95267
1013.78/1016.83 c INPROCESSING
1013.78/1016.83 c GARBAGE COLLECT
1013.78/1016.83 c #Conflicts: 538000 | #Constraints: 58284
1013.78/1016.83 c #Conflicts: 539000 | #Constraints: 59284
1013.78/1016.83 c #Conflicts: 540000 | #Constraints: 60284
1013.78/1016.83 c #Conflicts: 541000 | #Constraints: 61284
1013.78/1016.83 c #Conflicts: 542000 | #Constraints: 62284
1013.78/1016.83 c #Conflicts: 543000 | #Constraints: 63284
1013.78/1016.83 c #Conflicts: 544000 | #Constraints: 64284
1013.78/1016.83 c #Conflicts: 545000 | #Constraints: 65284
1013.78/1016.83 c #Conflicts: 546000 | #Constraints: 66284
1013.78/1016.83 c #Conflicts: 547000 | #Constraints: 67284
1013.78/1016.83 c #Conflicts: 548000 | #Constraints: 68284
1013.78/1016.83 c #Conflicts: 549000 | #Constraints: 69284
1013.78/1016.83 c #Conflicts: 550000 | #Constraints: 70284
1013.78/1016.83 c #Conflicts: 551000 | #Constraints: 71284
1013.78/1016.83 c #Conflicts: 552000 | #Constraints: 72284
1013.78/1016.83 c #Conflicts: 553000 | #Constraints: 73284
1013.78/1016.83 c #Conflicts: 554000 | #Constraints: 74284
1013.78/1016.83 c #Conflicts: 555000 | #Constraints: 75284
1013.78/1016.83 c #Conflicts: 556000 | #Constraints: 76284
1013.78/1016.83 c #Conflicts: 557000 | #Constraints: 77284
1178.19/1181.65 c INPROCESSING
1178.19/1181.65 c GARBAGE COLLECT
1178.19/1181.65 c #Conflicts: 558000 | #Constraints: 50919
1178.19/1181.65 c #Conflicts: 559000 | #Constraints: 51919
1178.19/1181.65 c #Conflicts: 560000 | #Constraints: 52919
1178.19/1181.65 c #Conflicts: 561000 | #Constraints: 53919
1178.19/1181.65 c #Conflicts: 562000 | #Constraints: 54919
1178.19/1181.65 c #Conflicts: 563000 | #Constraints: 55919
1178.19/1181.65 c #Conflicts: 564000 | #Constraints: 56919
1178.19/1181.65 c #Conflicts: 565000 | #Constraints: 57919
1178.19/1181.65 c #Conflicts: 566000 | #Constraints: 58919
1178.19/1181.65 c #Conflicts: 567000 | #Constraints: 59919
1178.19/1181.65 c #Conflicts: 568000 | #Constraints: 60919
1178.19/1181.65 c #Conflicts: 569000 | #Constraints: 61919
1178.19/1181.65 c #Conflicts: 570000 | #Constraints: 62919
1178.19/1181.65 c #Conflicts: 571000 | #Constraints: 63919
1178.19/1181.65 c #Conflicts: 572000 | #Constraints: 64919
1178.19/1181.65 c #Conflicts: 573000 | #Constraints: 65919
1178.19/1181.65 c #Conflicts: 574000 | #Constraints: 66919
1178.19/1181.65 c #Conflicts: 575000 | #Constraints: 67919
1178.19/1181.65 c #Conflicts: 576000 | #Constraints: 68919
1178.19/1181.65 c #Conflicts: 577000 | #Constraints: 69919
1178.19/1181.65 c #Conflicts: 578000 | #Constraints: 70919
1178.19/1181.65 c #Conflicts: 579000 | #Constraints: 71919
1178.19/1181.65 c #Conflicts: 580000 | #Constraints: 72919
1178.19/1181.65 c #Conflicts: 581000 | #Constraints: 73919
1178.19/1181.65 c #Conflicts: 582000 | #Constraints: 74919
1178.19/1181.65 c #Conflicts: 583000 | #Constraints: 75919
1178.19/1181.65 c #Conflicts: 584000 | #Constraints: 76919
1178.19/1181.65 c #Conflicts: 585000 | #Constraints: 77919
1178.19/1181.65 c #Conflicts: 586000 | #Constraints: 78919
1178.19/1181.65 c #Conflicts: 587000 | #Constraints: 79919
1178.19/1181.65 c #Conflicts: 588000 | #Constraints: 80919
1178.19/1181.65 c #Conflicts: 589000 | #Constraints: 81920
1178.19/1181.65 c #Conflicts: 590000 | #Constraints: 82920
1178.19/1181.65 c #Conflicts: 591000 | #Constraints: 83920
1178.19/1181.65 c #Conflicts: 592000 | #Constraints: 84920
1178.19/1181.65 c #Conflicts: 593000 | #Constraints: 85920
1178.19/1181.65 c #Conflicts: 594000 | #Constraints: 86920
1178.19/1181.65 c #Conflicts: 595000 | #Constraints: 87920
1178.19/1181.65 c #Conflicts: 596000 | #Constraints: 88920
1178.19/1181.65 c #Conflicts: 597000 | #Constraints: 89920
1178.19/1181.65 c #Conflicts: 598000 | #Constraints: 90920
1178.19/1181.65 c #Conflicts: 599000 | #Constraints: 91920
1178.19/1181.65 c #Conflicts: 600000 | #Constraints: 92920
1178.19/1181.65 c #Conflicts: 601000 | #Constraints: 93920
1178.19/1181.65 c #Conflicts: 602000 | #Constraints: 94920
1178.19/1181.65 c #Conflicts: 603000 | #Constraints: 95920
1178.19/1181.65 c #Conflicts: 604000 | #Constraints: 96920
1178.19/1181.65 c #Conflicts: 605000 | #Constraints: 97920
1178.19/1181.65 c #Conflicts: 606000 | #Constraints: 98920
1178.19/1181.65 c #Conflicts: 607000 | #Constraints: 99920
1178.19/1181.65 c #Conflicts: 608000 | #Constraints: 100920
1178.19/1181.65 c INPROCESSING
1178.19/1181.65 c GARBAGE COLLECT
1178.19/1181.65 c #Conflicts: 609000 | #Constraints: 61175
1178.19/1181.65 c #Conflicts: 610000 | #Constraints: 62175
1178.19/1181.65 c #Conflicts: 611000 | #Constraints: 63175
1178.19/1181.65 c #Conflicts: 612000 | #Constraints: 64175
1178.19/1181.65 c #Conflicts: 613000 | #Constraints: 65175
1178.19/1181.65 c #Conflicts: 614000 | #Constraints: 66175
1178.19/1181.65 c #Conflicts: 615000 | #Constraints: 67175
1178.19/1181.65 c #Conflicts: 616000 | #Constraints: 68175
1178.19/1181.65 c #Conflicts: 617000 | #Constraints: 69175
1178.19/1181.65 c #Conflicts: 618000 | #Constraints: 70175
1178.19/1181.65 c #Conflicts: 619000 | #Constraints: 71175
1178.19/1181.65 c #Conflicts: 620000 | #Constraints: 72175
1178.19/1181.65 c #Conflicts: 621000 | #Constraints: 73175
1178.19/1181.65 c #Conflicts: 622000 | #Constraints: 74175
1178.19/1181.65 c #Conflicts: 623000 | #Constraints: 75175
1178.19/1181.65 c #Conflicts: 624000 | #Constraints: 76175
1178.19/1181.65 c #Conflicts: 625000 | #Constraints: 77175
1178.19/1181.65 c #Conflicts: 626000 | #Constraints: 78175
1178.19/1181.65 c #Conflicts: 627000 | #Constraints: 79175
1178.19/1181.65 c #Conflicts: 628000 | #Constraints: 80175
1178.19/1181.65 c #Conflicts: 629000 | #Constraints: 81175
1178.19/1181.65 c #Conflicts: 630000 | #Constraints: 82175
1178.19/1181.65 c INPROCESSING
1178.19/1181.65 c GARBAGE COLLECT
1178.19/1181.65 c #Conflicts: 631000 | #Constraints: 53886
1178.19/1181.65 c #Conflicts: 632000 | #Constraints: 54886
1178.19/1181.65 c #Conflicts: 633000 | #Constraints: 55886
1178.19/1181.65 c #Conflicts: 634000 | #Constraints: 56886
1423.11/1427.17 c #Conflicts: 635000 | #Constraints: 57886
1423.11/1427.17 c #Conflicts: 636000 | #Constraints: 58886
1423.11/1427.17 c #Conflicts: 637000 | #Constraints: 59886
1423.11/1427.17 c #Conflicts: 638000 | #Constraints: 60886
1423.11/1427.17 c #Conflicts: 639000 | #Constraints: 61886
1423.11/1427.17 c #Conflicts: 640000 | #Constraints: 62886
1423.11/1427.17 c #Conflicts: 641000 | #Constraints: 63886
1423.11/1427.17 c #Conflicts: 642000 | #Constraints: 64886
1423.11/1427.17 c #Conflicts: 643000 | #Constraints: 65886
1423.11/1427.17 c #Conflicts: 644000 | #Constraints: 66886
1423.11/1427.17 c #Conflicts: 645000 | #Constraints: 67886
1423.11/1427.17 c #Conflicts: 646000 | #Constraints: 68886
1423.11/1427.17 c #Conflicts: 647000 | #Constraints: 69886
1423.11/1427.17 c #Conflicts: 648000 | #Constraints: 70886
1423.11/1427.17 c #Conflicts: 649000 | #Constraints: 71886
1423.11/1427.17 c #Conflicts: 650000 | #Constraints: 72886
1423.11/1427.17 c #Conflicts: 651000 | #Constraints: 73886
1423.11/1427.17 c #Conflicts: 652000 | #Constraints: 74886
1423.11/1427.17 c #Conflicts: 653000 | #Constraints: 75886
1423.11/1427.17 c #Conflicts: 654000 | #Constraints: 76886
1423.11/1427.17 c #Conflicts: 655000 | #Constraints: 77886
1423.11/1427.17 c #Conflicts: 656000 | #Constraints: 78886
1423.11/1427.17 c #Conflicts: 657000 | #Constraints: 79886
1423.11/1427.17 c #Conflicts: 658000 | #Constraints: 80886
1423.11/1427.17 c #Conflicts: 659000 | #Constraints: 81886
1423.11/1427.17 c #Conflicts: 660000 | #Constraints: 82886
1423.11/1427.17 c #Conflicts: 661000 | #Constraints: 83886
1423.11/1427.17 c #Conflicts: 662000 | #Constraints: 84886
1423.11/1427.17 c #Conflicts: 663000 | #Constraints: 85886
1423.11/1427.17 c #Conflicts: 664000 | #Constraints: 86886
1423.11/1427.17 c #Conflicts: 665000 | #Constraints: 87886
1423.11/1427.17 c #Conflicts: 666000 | #Constraints: 88886
1423.11/1427.17 c #Conflicts: 667000 | #Constraints: 89886
1423.11/1427.17 c #Conflicts: 668000 | #Constraints: 90886
1423.11/1427.17 c #Conflicts: 669000 | #Constraints: 91886
1423.11/1427.17 c #Conflicts: 670000 | #Constraints: 92886
1423.11/1427.17 c #Conflicts: 671000 | #Constraints: 93886
1423.11/1427.17 c #Conflicts: 672000 | #Constraints: 94886
1423.11/1427.17 c #Conflicts: 673000 | #Constraints: 95886
1423.11/1427.17 c #Conflicts: 674000 | #Constraints: 96886
1423.11/1427.17 c #Conflicts: 675000 | #Constraints: 97886
1423.11/1427.17 c #Conflicts: 676000 | #Constraints: 98886
1423.11/1427.17 c #Conflicts: 677000 | #Constraints: 99886
1423.11/1427.17 c #Conflicts: 678000 | #Constraints: 100886
1423.11/1427.17 c #Conflicts: 679000 | #Constraints: 101886
1423.11/1427.17 c #Conflicts: 680000 | #Constraints: 102886
1423.11/1427.17 c #Conflicts: 681000 | #Constraints: 103886
1423.11/1427.17 c #Conflicts: 682000 | #Constraints: 104886
1423.11/1427.17 c #Conflicts: 683000 | #Constraints: 105886
1423.11/1427.17 c #Conflicts: 684000 | #Constraints: 106886
1423.11/1427.17 c INPROCESSING
1423.11/1427.17 c GARBAGE COLLECT
1423.11/1427.17 c #Conflicts: 685000 | #Constraints: 64487
1423.11/1427.17 c #Conflicts: 686000 | #Constraints: 65487
1423.11/1427.17 c #Conflicts: 687000 | #Constraints: 66487
1423.11/1427.17 c #Conflicts: 688000 | #Constraints: 67487
1423.11/1427.17 c #Conflicts: 689000 | #Constraints: 68487
1423.11/1427.17 c #Conflicts: 690000 | #Constraints: 69487
1423.11/1427.17 c #Conflicts: 691000 | #Constraints: 70487
1423.11/1427.17 c #Conflicts: 692000 | #Constraints: 71487
1423.11/1427.17 c #Conflicts: 693000 | #Constraints: 72487
1423.11/1427.18 c #Conflicts: 694000 | #Constraints: 73487
1423.11/1427.18 c #Conflicts: 695000 | #Constraints: 74487
1423.11/1427.18 c #Conflicts: 696000 | #Constraints: 75487
1423.11/1427.18 c #Conflicts: 697000 | #Constraints: 76487
1423.11/1427.18 c #Conflicts: 698000 | #Constraints: 77487
1423.11/1427.18 c #Conflicts: 699000 | #Constraints: 78487
1423.11/1427.18 c #Conflicts: 700000 | #Constraints: 79487
1423.11/1427.18 c #Conflicts: 701000 | #Constraints: 80487
1423.11/1427.18 c #Conflicts: 702000 | #Constraints: 81487
1423.11/1427.18 c #Conflicts: 703000 | #Constraints: 82487
1423.11/1427.18 c #Conflicts: 704000 | #Constraints: 83487
1423.11/1427.18 c #Conflicts: 705000 | #Constraints: 84487
1423.11/1427.18 c #Conflicts: 706000 | #Constraints: 85487
1423.11/1427.18 c INPROCESSING
1423.11/1427.18 c GARBAGE COLLECT
1423.11/1427.18 c #Conflicts: 707000 | #Constraints: 55769
1423.11/1427.18 c #Conflicts: 708000 | #Constraints: 56769
1423.11/1427.18 c #Conflicts: 709000 | #Constraints: 57769
1423.11/1427.18 c #Conflicts: 710000 | #Constraints: 58769
1423.11/1427.18 c #Conflicts: 711000 | #Constraints: 59769
1423.11/1427.18 c #Conflicts: 712000 | #Constraints: 60769
1634.49/1639.03 c #Conflicts: 713000 | #Constraints: 61769
1634.49/1639.03 c #Conflicts: 714000 | #Constraints: 62769
1634.49/1639.03 c #Conflicts: 715000 | #Constraints: 63769
1634.49/1639.03 c #Conflicts: 716000 | #Constraints: 64769
1634.49/1639.03 c #Conflicts: 717000 | #Constraints: 65769
1634.49/1639.03 c #Conflicts: 718000 | #Constraints: 66769
1634.49/1639.03 c #Conflicts: 719000 | #Constraints: 67769
1634.49/1639.03 c #Conflicts: 720000 | #Constraints: 68769
1634.49/1639.03 c #Conflicts: 721000 | #Constraints: 69769
1634.49/1639.03 c #Conflicts: 722000 | #Constraints: 70769
1634.49/1639.03 c #Conflicts: 723000 | #Constraints: 71770
1634.49/1639.03 c #Conflicts: 724000 | #Constraints: 72770
1634.49/1639.03 c #Conflicts: 725000 | #Constraints: 73770
1634.49/1639.03 c #Conflicts: 726000 | #Constraints: 74770
1634.49/1639.03 c #Conflicts: 727000 | #Constraints: 75770
1634.49/1639.03 c #Conflicts: 728000 | #Constraints: 76770
1634.49/1639.03 c #Conflicts: 729000 | #Constraints: 77770
1634.49/1639.03 c #Conflicts: 730000 | #Constraints: 78770
1634.49/1639.03 c #Conflicts: 731000 | #Constraints: 79770
1634.49/1639.03 c #Conflicts: 732000 | #Constraints: 80770
1634.49/1639.03 c #Conflicts: 733000 | #Constraints: 81770
1634.49/1639.03 c #Conflicts: 734000 | #Constraints: 82770
1634.49/1639.03 c #Conflicts: 735000 | #Constraints: 83770
1634.49/1639.03 c #Conflicts: 736000 | #Constraints: 84770
1634.49/1639.03 c #Conflicts: 737000 | #Constraints: 85770
1634.49/1639.03 c #Conflicts: 738000 | #Constraints: 86770
1634.49/1639.03 c #Conflicts: 739000 | #Constraints: 87770
1634.49/1639.03 c #Conflicts: 740000 | #Constraints: 88770
1634.49/1639.03 c #Conflicts: 741000 | #Constraints: 89770
1634.49/1639.03 c #Conflicts: 742000 | #Constraints: 90770
1634.49/1639.03 c #Conflicts: 743000 | #Constraints: 91770
1634.49/1639.03 c #Conflicts: 744000 | #Constraints: 92770
1634.49/1639.03 c #Conflicts: 745000 | #Constraints: 93770
1634.49/1639.03 c #Conflicts: 746000 | #Constraints: 94770
1634.49/1639.03 c #Conflicts: 747000 | #Constraints: 95770
1634.49/1639.03 c #Conflicts: 748000 | #Constraints: 96770
1634.49/1639.03 c #Conflicts: 749000 | #Constraints: 97770
1634.49/1639.03 c #Conflicts: 750000 | #Constraints: 98770
1634.49/1639.03 c #Conflicts: 751000 | #Constraints: 99770
1634.49/1639.03 c #Conflicts: 752000 | #Constraints: 100770
1634.49/1639.03 c #Conflicts: 753000 | #Constraints: 101770
1634.49/1639.03 c #Conflicts: 754000 | #Constraints: 102770
1634.49/1639.03 c #Conflicts: 755000 | #Constraints: 103770
1634.49/1639.03 c #Conflicts: 756000 | #Constraints: 104770
1634.49/1639.03 c #Conflicts: 757000 | #Constraints: 105770
1634.49/1639.03 c #Conflicts: 758000 | #Constraints: 106770
1634.49/1639.03 c #Conflicts: 759000 | #Constraints: 107770
1634.49/1639.03 c #Conflicts: 760000 | #Constraints: 108770
1634.49/1639.03 c #Conflicts: 761000 | #Constraints: 109770
1634.49/1639.03 c #Conflicts: 762000 | #Constraints: 110770
1634.49/1639.03 c #Conflicts: 763000 | #Constraints: 111770
1634.49/1639.03 c INPROCESSING
1634.49/1639.03 c GARBAGE COLLECT
1634.49/1639.03 c #Conflicts: 764000 | #Constraints: 66463
1634.49/1639.03 c #Conflicts: 765000 | #Constraints: 67463
1634.49/1639.03 c #Conflicts: 766000 | #Constraints: 68463
1634.49/1639.03 c #Conflicts: 767000 | #Constraints: 69463
1634.49/1639.03 c #Conflicts: 768000 | #Constraints: 70463
1634.49/1639.03 c #Conflicts: 769000 | #Constraints: 71463
1634.49/1639.03 c #Conflicts: 770000 | #Constraints: 72463
1634.49/1639.03 c #Conflicts: 771000 | #Constraints: 73463
1634.49/1639.03 c #Conflicts: 772000 | #Constraints: 74463
1634.49/1639.03 c #Conflicts: 773000 | #Constraints: 75463
1634.49/1639.03 c #Conflicts: 774000 | #Constraints: 76463
1634.49/1639.03 c #Conflicts: 775000 | #Constraints: 77463
1634.49/1639.03 c #Conflicts: 776000 | #Constraints: 78463
1634.49/1639.03 c #Conflicts: 777000 | #Constraints: 79463
1634.49/1639.03 c #Conflicts: 778000 | #Constraints: 80463
1634.49/1639.03 c #Conflicts: 779000 | #Constraints: 81463
1634.49/1639.03 c #Conflicts: 780000 | #Constraints: 82463
1634.49/1639.03 c #Conflicts: 781000 | #Constraints: 83463
1634.49/1639.03 c #Conflicts: 782000 | #Constraints: 84463
1634.49/1639.03 c #Conflicts: 783000 | #Constraints: 85463
1634.49/1639.03 c #Conflicts: 784000 | #Constraints: 86463
1634.49/1639.03 c #Conflicts: 785000 | #Constraints: 87463
1634.49/1639.03 c #Conflicts: 786000 | #Constraints: 88463
1634.49/1639.03 c #Conflicts: 787000 | #Constraints: 89463
1634.49/1639.03 c INPROCESSING
1634.49/1639.03 c GARBAGE COLLECT
1634.49/1639.03 c #Conflicts: 788000 | #Constraints: 57838
1634.49/1639.03 c #Conflicts: 789000 | #Constraints: 58838
1818.04/1823.08 c #Conflicts: 790000 | #Constraints: 59838
1818.04/1823.08 c #Conflicts: 791000 | #Constraints: 60838
1818.04/1823.08 c #Conflicts: 792000 | #Constraints: 61838
1818.04/1823.08 c #Conflicts: 793000 | #Constraints: 62838
1818.04/1823.08 c #Conflicts: 794000 | #Constraints: 63838
1818.04/1823.08 c #Conflicts: 795000 | #Constraints: 64838
1818.04/1823.08 c #Conflicts: 796000 | #Constraints: 65838
1818.04/1823.08 c #Conflicts: 797000 | #Constraints: 66838
1818.04/1823.08 c #Conflicts: 798000 | #Constraints: 67838
1818.04/1823.08 c #Conflicts: 799000 | #Constraints: 68838
1818.04/1823.08 c #Conflicts: 800000 | #Constraints: 69838
1818.04/1823.08 c #Conflicts: 801000 | #Constraints: 70838
1818.04/1823.08 c #Conflicts: 802000 | #Constraints: 71838
1818.04/1823.08 c #Conflicts: 803000 | #Constraints: 72838
1818.04/1823.08 c #Conflicts: 804000 | #Constraints: 73838
1818.04/1823.08 c #Conflicts: 805000 | #Constraints: 74838
1818.04/1823.08 c #Conflicts: 806000 | #Constraints: 75838
1818.04/1823.08 c #Conflicts: 807000 | #Constraints: 76838
1818.04/1823.08 c #Conflicts: 808000 | #Constraints: 77838
1818.04/1823.08 c #Conflicts: 809000 | #Constraints: 78838
1818.04/1823.08 c #Conflicts: 810000 | #Constraints: 79838
1818.04/1823.08 c #Conflicts: 811000 | #Constraints: 80838
1818.04/1823.08 c #Conflicts: 812000 | #Constraints: 81838
1818.04/1823.08 c #Conflicts: 813000 | #Constraints: 82838
1818.04/1823.08 c #Conflicts: 814000 | #Constraints: 83838
1818.04/1823.08 c #Conflicts: 815000 | #Constraints: 84838
1818.04/1823.08 c #Conflicts: 816000 | #Constraints: 85838
1818.04/1823.08 c #Conflicts: 817000 | #Constraints: 86838
1818.04/1823.08 c #Conflicts: 818000 | #Constraints: 87838
1818.04/1823.08 c #Conflicts: 819000 | #Constraints: 88838
1818.04/1823.08 c #Conflicts: 820000 | #Constraints: 89838
1818.04/1823.08 c #Conflicts: 821000 | #Constraints: 90838
1818.04/1823.08 c #Conflicts: 822000 | #Constraints: 91838
1818.04/1823.08 c #Conflicts: 823000 | #Constraints: 92838
1818.04/1823.08 c #Conflicts: 824000 | #Constraints: 93838
1818.04/1823.08 c #Conflicts: 825000 | #Constraints: 94838
1818.04/1823.08 c #Conflicts: 826000 | #Constraints: 95838
1818.04/1823.08 c #Conflicts: 827000 | #Constraints: 96838
1818.04/1823.08 c #Conflicts: 828000 | #Constraints: 97838
1818.04/1823.08 c #Conflicts: 829000 | #Constraints: 98838
1818.04/1823.08 c #Conflicts: 830000 | #Constraints: 99838
1818.04/1823.08 c #Conflicts: 831000 | #Constraints: 100838
1818.04/1823.08 c #Conflicts: 832000 | #Constraints: 101838
1818.04/1823.08 c #Conflicts: 833000 | #Constraints: 102838
1818.04/1823.08 c #Conflicts: 834000 | #Constraints: 103838
1818.04/1823.08 c #Conflicts: 835000 | #Constraints: 104838
1818.04/1823.08 c #Conflicts: 836000 | #Constraints: 105838
1818.04/1823.08 c #Conflicts: 837000 | #Constraints: 106838
1818.04/1823.08 c #Conflicts: 838000 | #Constraints: 107838
1818.04/1823.08 c #Conflicts: 839000 | #Constraints: 108838
1818.04/1823.08 c #Conflicts: 840000 | #Constraints: 109838
1818.04/1823.08 c #Conflicts: 841000 | #Constraints: 110838
1818.04/1823.08 c #Conflicts: 842000 | #Constraints: 111838
1818.04/1823.08 c #Conflicts: 843000 | #Constraints: 112838
1818.04/1823.08 c #Conflicts: 844000 | #Constraints: 113838
1818.04/1823.08 c #Conflicts: 845000 | #Constraints: 114838
1818.04/1823.08 c #Conflicts: 846000 | #Constraints: 115838
1818.04/1823.08 c #Conflicts: 847000 | #Constraints: 116838
1818.04/1823.08 c #Conflicts: 848000 | #Constraints: 117838
1818.04/1823.08 c INPROCESSING
1818.04/1823.08 c GARBAGE COLLECT
1818.04/1823.08 c #Conflicts: 849000 | #Constraints: 69917
1818.04/1823.08 c #Conflicts: 850000 | #Constraints: 70917
1818.04/1823.08 c #Conflicts: 851000 | #Constraints: 71917
1818.04/1823.08 c #Conflicts: 852000 | #Constraints: 72917
1818.04/1823.08 c #Conflicts: 853000 | #Constraints: 73917
1818.04/1823.08 c #Conflicts: 854000 | #Constraints: 74917
1818.04/1823.08 c #Conflicts: 855000 | #Constraints: 75917
1818.04/1823.08 c #Conflicts: 856000 | #Constraints: 76917
1818.04/1823.08 c #Conflicts: 857000 | #Constraints: 77917
1818.04/1823.08 c #Conflicts: 858000 | #Constraints: 78917
1818.04/1823.08 c #Conflicts: 859000 | #Constraints: 79917
1818.04/1823.08 c #Conflicts: 860000 | #Constraints: 80917
1818.04/1823.08 c #Conflicts: 861000 | #Constraints: 81917
1818.04/1823.08 c #Conflicts: 862000 | #Constraints: 82917
1818.04/1823.08 c #Conflicts: 863000 | #Constraints: 83917
1818.04/1823.08 c #Conflicts: 864000 | #Constraints: 84917
1818.04/1823.08 c #Conflicts: 865000 | #Constraints: 85917
1818.04/1823.08 c #Conflicts: 866000 | #Constraints: 86917
1818.04/1823.08 c #Conflicts: 867000 | #Constraints: 87917
2029.89/2035.46 c #Conflicts: 868000 | #Constraints: 88917
2029.89/2035.46 c #Conflicts: 869000 | #Constraints: 89917
2029.89/2035.46 c #Conflicts: 870000 | #Constraints: 90917
2029.89/2035.46 c #Conflicts: 871000 | #Constraints: 91917
2029.89/2035.46 c #Conflicts: 872000 | #Constraints: 92917
2029.89/2035.46 c #Conflicts: 873000 | #Constraints: 93917
2029.89/2035.46 c INPROCESSING
2029.89/2035.46 c GARBAGE COLLECT
2029.89/2035.46 c #Conflicts: 874000 | #Constraints: 60657
2029.89/2035.46 c #Conflicts: 875000 | #Constraints: 61657
2029.89/2035.46 c #Conflicts: 876000 | #Constraints: 62657
2029.89/2035.46 c #Conflicts: 877000 | #Constraints: 63657
2029.89/2035.46 c #Conflicts: 878000 | #Constraints: 64657
2029.89/2035.46 c #Conflicts: 879000 | #Constraints: 65657
2029.89/2035.46 c #Conflicts: 880000 | #Constraints: 66657
2029.89/2035.46 c #Conflicts: 881000 | #Constraints: 67657
2029.89/2035.46 c #Conflicts: 882000 | #Constraints: 68657
2029.89/2035.46 c #Conflicts: 883000 | #Constraints: 69657
2029.89/2035.46 c #Conflicts: 884000 | #Constraints: 70657
2029.89/2035.46 c #Conflicts: 885000 | #Constraints: 71657
2029.89/2035.46 c #Conflicts: 886000 | #Constraints: 72657
2029.89/2035.46 c #Conflicts: 887000 | #Constraints: 73657
2029.89/2035.46 c #Conflicts: 888000 | #Constraints: 74657
2029.89/2035.46 c #Conflicts: 889000 | #Constraints: 75658
2029.89/2035.46 c #Conflicts: 890000 | #Constraints: 76658
2029.89/2035.46 c #Conflicts: 891000 | #Constraints: 77658
2029.89/2035.46 c #Conflicts: 892000 | #Constraints: 78658
2029.89/2035.46 c #Conflicts: 893000 | #Constraints: 79658
2029.89/2035.46 c #Conflicts: 894000 | #Constraints: 80658
2029.89/2035.46 c #Conflicts: 895000 | #Constraints: 81658
2029.89/2035.46 c #Conflicts: 896000 | #Constraints: 82658
2029.89/2035.46 c #Conflicts: 897000 | #Constraints: 83658
2029.89/2035.46 c #Conflicts: 898000 | #Constraints: 84658
2029.89/2035.46 c #Conflicts: 899000 | #Constraints: 85658
2029.89/2035.46 c #Conflicts: 900000 | #Constraints: 86658
2029.89/2035.46 c #Conflicts: 901000 | #Constraints: 87658
2029.89/2035.46 c #Conflicts: 902000 | #Constraints: 88658
2029.89/2035.46 c #Conflicts: 903000 | #Constraints: 89658
2029.89/2035.46 c #Conflicts: 904000 | #Constraints: 90658
2029.89/2035.46 c #Conflicts: 905000 | #Constraints: 91658
2029.89/2035.46 c #Conflicts: 906000 | #Constraints: 92658
2029.89/2035.46 c #Conflicts: 907000 | #Constraints: 93658
2029.89/2035.46 c #Conflicts: 908000 | #Constraints: 94658
2029.89/2035.46 c #Conflicts: 909000 | #Constraints: 95658
2029.89/2035.46 c #Conflicts: 910000 | #Constraints: 96658
2029.89/2035.46 c #Conflicts: 911000 | #Constraints: 97658
2029.89/2035.46 c #Conflicts: 912000 | #Constraints: 98658
2029.89/2035.46 c #Conflicts: 913000 | #Constraints: 99658
2029.89/2035.46 c #Conflicts: 914000 | #Constraints: 100658
2029.89/2035.46 c #Conflicts: 915000 | #Constraints: 101658
2029.89/2035.46 c #Conflicts: 916000 | #Constraints: 102658
2029.89/2035.46 c #Conflicts: 917000 | #Constraints: 103658
2029.89/2035.46 c #Conflicts: 918000 | #Constraints: 104658
2029.89/2035.46 c #Conflicts: 919000 | #Constraints: 105658
2029.89/2035.46 c #Conflicts: 920000 | #Constraints: 106658
2029.89/2035.46 c #Conflicts: 921000 | #Constraints: 107658
2029.89/2035.46 c #Conflicts: 922000 | #Constraints: 108658
2029.89/2035.46 c #Conflicts: 923000 | #Constraints: 109658
2029.89/2035.46 c #Conflicts: 924000 | #Constraints: 110658
2029.89/2035.46 c #Conflicts: 925000 | #Constraints: 111658
2029.89/2035.46 c #Conflicts: 926000 | #Constraints: 112658
2029.89/2035.46 c #Conflicts: 927000 | #Constraints: 113658
2029.89/2035.46 c #Conflicts: 928000 | #Constraints: 114658
2029.89/2035.46 c #Conflicts: 929000 | #Constraints: 115658
2029.89/2035.46 c #Conflicts: 930000 | #Constraints: 116658
2029.89/2035.46 c #Conflicts: 931000 | #Constraints: 117658
2029.89/2035.46 c #Conflicts: 932000 | #Constraints: 118658
2029.89/2035.46 c #Conflicts: 933000 | #Constraints: 119658
2029.89/2035.46 c #Conflicts: 934000 | #Constraints: 120658
2029.89/2035.46 c #Conflicts: 935000 | #Constraints: 121658
2029.89/2035.46 c #Conflicts: 936000 | #Constraints: 122658
2029.89/2035.46 c INPROCESSING
2029.89/2035.46 c GARBAGE COLLECT
2029.89/2035.46 c #Conflicts: 937000 | #Constraints: 72156
2029.89/2035.46 c #Conflicts: 938000 | #Constraints: 73156
2029.89/2035.46 c #Conflicts: 939000 | #Constraints: 74156
2029.89/2035.46 c #Conflicts: 940000 | #Constraints: 75156
2029.89/2035.46 c #Conflicts: 941000 | #Constraints: 76156
2029.89/2035.46 c #Conflicts: 942000 | #Constraints: 77156
2029.89/2035.46 c #Conflicts: 943000 | #Constraints: 78156
2029.89/2035.46 c #Conflicts: 944000 | #Constraints: 79156
2029.89/2035.46 c #Conflicts: 945000 | #Constraints: 80156
2257.33/2263.44 c #Conflicts: 946000 | #Constraints: 81156
2257.33/2263.44 c #Conflicts: 947000 | #Constraints: 82156
2257.33/2263.44 c #Conflicts: 948000 | #Constraints: 83156
2257.33/2263.44 c #Conflicts: 949000 | #Constraints: 84156
2257.33/2263.44 c #Conflicts: 950000 | #Constraints: 85156
2257.33/2263.44 c #Conflicts: 951000 | #Constraints: 86156
2257.33/2263.44 c #Conflicts: 952000 | #Constraints: 87156
2257.33/2263.44 c #Conflicts: 953000 | #Constraints: 88156
2257.33/2263.44 c #Conflicts: 954000 | #Constraints: 89156
2257.33/2263.44 c #Conflicts: 955000 | #Constraints: 90156
2257.33/2263.44 c #Conflicts: 956000 | #Constraints: 91156
2257.33/2263.44 c #Conflicts: 957000 | #Constraints: 92156
2257.33/2263.44 c #Conflicts: 958000 | #Constraints: 93156
2257.33/2263.44 c #Conflicts: 959000 | #Constraints: 94156
2257.33/2263.44 c #Conflicts: 960000 | #Constraints: 95156
2257.33/2263.44 c #Conflicts: 961000 | #Constraints: 96156
2257.33/2263.44 c #Conflicts: 962000 | #Constraints: 97156
2257.33/2263.44 c #Conflicts: 963000 | #Constraints: 98156
2257.33/2263.44 c INPROCESSING
2257.33/2263.44 c GARBAGE COLLECT
2257.33/2263.44 c #Conflicts: 964000 | #Constraints: 62950
2257.33/2263.44 c #Conflicts: 965000 | #Constraints: 63950
2257.33/2263.44 c #Conflicts: 966000 | #Constraints: 64950
2257.33/2263.44 c #Conflicts: 967000 | #Constraints: 65950
2257.33/2263.44 c #Conflicts: 968000 | #Constraints: 66950
2257.33/2263.44 c #Conflicts: 969000 | #Constraints: 67950
2257.33/2263.44 c #Conflicts: 970000 | #Constraints: 68950
2257.33/2263.44 c #Conflicts: 971000 | #Constraints: 69950
2257.33/2263.44 c #Conflicts: 972000 | #Constraints: 70950
2257.33/2263.44 c #Conflicts: 973000 | #Constraints: 71950
2257.33/2263.44 c #Conflicts: 974000 | #Constraints: 72950
2257.33/2263.44 c #Conflicts: 975000 | #Constraints: 73950
2257.33/2263.44 c #Conflicts: 976000 | #Constraints: 74950
2257.33/2263.44 c #Conflicts: 977000 | #Constraints: 75950
2257.33/2263.44 c #Conflicts: 978000 | #Constraints: 76950
2257.33/2263.44 c #Conflicts: 979000 | #Constraints: 77950
2257.33/2263.44 c #Conflicts: 980000 | #Constraints: 78950
2257.33/2263.44 c #Conflicts: 981000 | #Constraints: 79950
2257.33/2263.44 c #Conflicts: 982000 | #Constraints: 80950
2257.33/2263.44 c #Conflicts: 983000 | #Constraints: 81950
2257.33/2263.44 c #Conflicts: 984000 | #Constraints: 82950
2257.33/2263.44 c #Conflicts: 985000 | #Constraints: 83950
2257.33/2263.44 c #Conflicts: 986000 | #Constraints: 84950
2257.33/2263.44 c #Conflicts: 987000 | #Constraints: 85950
2257.33/2263.44 c #Conflicts: 988000 | #Constraints: 86950
2257.33/2263.44 c #Conflicts: 989000 | #Constraints: 87950
2257.33/2263.44 c #Conflicts: 990000 | #Constraints: 88950
2257.33/2263.44 c #Conflicts: 991000 | #Constraints: 89950
2257.33/2263.44 c #Conflicts: 992000 | #Constraints: 90950
2257.33/2263.44 c #Conflicts: 993000 | #Constraints: 91950
2257.33/2263.44 c #Conflicts: 994000 | #Constraints: 92950
2257.33/2263.44 c #Conflicts: 995000 | #Constraints: 93950
2257.33/2263.44 c #Conflicts: 996000 | #Constraints: 94950
2257.33/2263.44 c #Conflicts: 997000 | #Constraints: 95950
2257.33/2263.44 c #Conflicts: 998000 | #Constraints: 96950
2257.33/2263.44 c #Conflicts: 999000 | #Constraints: 97950
2257.33/2263.44 c #Conflicts: 1000000 | #Constraints: 98950
2257.33/2263.44 c #Conflicts: 1001000 | #Constraints: 99950
2257.33/2263.44 c #Conflicts: 1002000 | #Constraints: 100950
2257.33/2263.44 c #Conflicts: 1003000 | #Constraints: 101950
2257.33/2263.44 c #Conflicts: 1004000 | #Constraints: 102950
2257.33/2263.44 c #Conflicts: 1005000 | #Constraints: 103950
2257.33/2263.44 c #Conflicts: 1006000 | #Constraints: 104950
2257.33/2263.44 c #Conflicts: 1007000 | #Constraints: 105950
2257.33/2263.44 c #Conflicts: 1008000 | #Constraints: 106950
2257.33/2263.44 c #Conflicts: 1009000 | #Constraints: 107950
2257.33/2263.44 c #Conflicts: 1010000 | #Constraints: 108950
2257.33/2263.44 c #Conflicts: 1011000 | #Constraints: 109950
2257.33/2263.44 c #Conflicts: 1012000 | #Constraints: 110950
2257.33/2263.44 c #Conflicts: 1013000 | #Constraints: 111950
2257.33/2263.44 c #Conflicts: 1014000 | #Constraints: 112950
2257.33/2263.44 c #Conflicts: 1015000 | #Constraints: 113950
2257.33/2263.44 c #Conflicts: 1016000 | #Constraints: 114950
2257.33/2263.44 c #Conflicts: 1017000 | #Constraints: 115950
2257.33/2263.44 c #Conflicts: 1018000 | #Constraints: 116950
2257.33/2263.44 c #Conflicts: 1019000 | #Constraints: 117950
2257.33/2263.44 c #Conflicts: 1020000 | #Constraints: 118950
2257.33/2263.44 c #Conflicts: 1021000 | #Constraints: 119950
2257.33/2263.44 c #Conflicts: 1022000 | #Constraints: 120950
2257.33/2263.44 c #Conflicts: 1023000 | #Constraints: 121950
2492.38/2499.03 c #Conflicts: 1024000 | #Constraints: 122950
2492.38/2499.03 c #Conflicts: 1025000 | #Constraints: 123950
2492.38/2499.03 c #Conflicts: 1026000 | #Constraints: 124950
2492.38/2499.03 c #Conflicts: 1027000 | #Constraints: 125950
2492.38/2499.03 c #Conflicts: 1028000 | #Constraints: 126950
2492.38/2499.03 c #Conflicts: 1029000 | #Constraints: 127950
2492.38/2499.03 c INPROCESSING
2492.38/2499.03 c GARBAGE COLLECT
2492.38/2499.03 c #Conflicts: 1030000 | #Constraints: 74787
2492.38/2499.03 c #Conflicts: 1031000 | #Constraints: 75787
2492.38/2499.03 c #Conflicts: 1032000 | #Constraints: 76787
2492.38/2499.03 c #Conflicts: 1033000 | #Constraints: 77787
2492.38/2499.03 c #Conflicts: 1034000 | #Constraints: 78787
2492.38/2499.03 c #Conflicts: 1035000 | #Constraints: 79787
2492.38/2499.03 c #Conflicts: 1036000 | #Constraints: 80787
2492.38/2499.03 c #Conflicts: 1037000 | #Constraints: 81787
2492.38/2499.03 c #Conflicts: 1038000 | #Constraints: 82787
2492.38/2499.03 c #Conflicts: 1039000 | #Constraints: 83787
2492.38/2499.03 c #Conflicts: 1040000 | #Constraints: 84787
2492.38/2499.03 c #Conflicts: 1041000 | #Constraints: 85787
2492.38/2499.03 c #Conflicts: 1042000 | #Constraints: 86787
2492.38/2499.03 c #Conflicts: 1043000 | #Constraints: 87787
2492.38/2499.03 c #Conflicts: 1044000 | #Constraints: 88787
2492.38/2499.03 c #Conflicts: 1045000 | #Constraints: 89787
2492.38/2499.03 c #Conflicts: 1046000 | #Constraints: 90787
2492.38/2499.03 c #Conflicts: 1047000 | #Constraints: 91787
2492.38/2499.03 c #Conflicts: 1048000 | #Constraints: 92787
2492.38/2499.03 c #Conflicts: 1049000 | #Constraints: 93787
2492.38/2499.03 c #Conflicts: 1050000 | #Constraints: 94787
2492.38/2499.03 c #Conflicts: 1051000 | #Constraints: 95787
2492.38/2499.03 c #Conflicts: 1052000 | #Constraints: 96787
2492.38/2499.03 c #Conflicts: 1053000 | #Constraints: 97787
2492.38/2499.03 c #Conflicts: 1054000 | #Constraints: 98787
2492.38/2499.03 c #Conflicts: 1055000 | #Constraints: 99787
2492.38/2499.03 c #Conflicts: 1056000 | #Constraints: 100788
2492.38/2499.03 c #Conflicts: 1057000 | #Constraints: 101788
2492.38/2499.03 c INPROCESSING
2492.38/2499.03 c GARBAGE COLLECT
2492.38/2499.03 c #Conflicts: 1058000 | #Constraints: 64153
2492.38/2499.03 c #Conflicts: 1059000 | #Constraints: 65153
2492.38/2499.03 c #Conflicts: 1060000 | #Constraints: 66153
2492.38/2499.03 c #Conflicts: 1061000 | #Constraints: 67153
2492.38/2499.03 c #Conflicts: 1062000 | #Constraints: 68153
2492.38/2499.03 c #Conflicts: 1063000 | #Constraints: 69153
2492.38/2499.03 c #Conflicts: 1064000 | #Constraints: 70153
2492.38/2499.03 c #Conflicts: 1065000 | #Constraints: 71153
2492.38/2499.03 c #Conflicts: 1066000 | #Constraints: 72153
2492.38/2499.03 c #Conflicts: 1067000 | #Constraints: 73153
2492.38/2499.03 c #Conflicts: 1068000 | #Constraints: 74153
2492.38/2499.03 c #Conflicts: 1069000 | #Constraints: 75153
2492.38/2499.03 c #Conflicts: 1070000 | #Constraints: 76153
2492.38/2499.03 c #Conflicts: 1071000 | #Constraints: 77153
2492.38/2499.03 c #Conflicts: 1072000 | #Constraints: 78153
2492.38/2499.03 c #Conflicts: 1073000 | #Constraints: 79153
2492.38/2499.03 c #Conflicts: 1074000 | #Constraints: 80153
2492.38/2499.03 c #Conflicts: 1075000 | #Constraints: 81153
2492.38/2499.03 c #Conflicts: 1076000 | #Constraints: 82153
2492.38/2499.03 c #Conflicts: 1077000 | #Constraints: 83153
2492.38/2499.03 c #Conflicts: 1078000 | #Constraints: 84153
2492.38/2499.03 c #Conflicts: 1079000 | #Constraints: 85153
2492.38/2499.03 c #Conflicts: 1080000 | #Constraints: 86153
2492.38/2499.03 c #Conflicts: 1081000 | #Constraints: 87153
2492.38/2499.03 c #Conflicts: 1082000 | #Constraints: 88153
2492.38/2499.03 c #Conflicts: 1083000 | #Constraints: 89153
2492.38/2499.03 c #Conflicts: 1084000 | #Constraints: 90153
2492.38/2499.03 c #Conflicts: 1085000 | #Constraints: 91153
2492.38/2499.03 c #Conflicts: 1086000 | #Constraints: 92153
2492.38/2499.03 c #Conflicts: 1087000 | #Constraints: 93153
2492.38/2499.03 c #Conflicts: 1088000 | #Constraints: 94153
2492.38/2499.03 c #Conflicts: 1089000 | #Constraints: 95153
2492.38/2499.03 c #Conflicts: 1090000 | #Constraints: 96153
2492.38/2499.03 c #Conflicts: 1091000 | #Constraints: 97153
2492.38/2499.03 c #Conflicts: 1092000 | #Constraints: 98153
2492.38/2499.03 c #Conflicts: 1093000 | #Constraints: 99153
2492.38/2499.03 c #Conflicts: 1094000 | #Constraints: 100153
2492.38/2499.03 c #Conflicts: 1095000 | #Constraints: 101153
2492.38/2499.03 c #Conflicts: 1096000 | #Constraints: 102153
2492.38/2499.03 c #Conflicts: 1097000 | #Constraints: 103153
2492.38/2499.03 c #Conflicts: 1098000 | #Constraints: 104153
2492.38/2499.03 c #Conflicts: 1099000 | #Constraints: 105153
2492.38/2499.03 c #Conflicts: 1100000 | #Constraints: 106153
2833.88/2841.49 c #Conflicts: 1101000 | #Constraints: 107153
2833.88/2841.49 c #Conflicts: 1102000 | #Constraints: 108153
2833.88/2841.49 c #Conflicts: 1103000 | #Constraints: 109153
2833.88/2841.49 c #Conflicts: 1104000 | #Constraints: 110153
2833.88/2841.49 c #Conflicts: 1105000 | #Constraints: 111153
2833.88/2841.49 c #Conflicts: 1106000 | #Constraints: 112153
2833.88/2841.49 c #Conflicts: 1107000 | #Constraints: 113153
2833.88/2841.49 c #Conflicts: 1108000 | #Constraints: 114153
2833.88/2841.49 c #Conflicts: 1109000 | #Constraints: 115153
2833.88/2841.49 c #Conflicts: 1110000 | #Constraints: 116153
2833.88/2841.49 c #Conflicts: 1111000 | #Constraints: 117153
2833.88/2841.49 c #Conflicts: 1112000 | #Constraints: 118153
2833.88/2841.49 c #Conflicts: 1113000 | #Constraints: 119153
2833.88/2841.49 c #Conflicts: 1114000 | #Constraints: 120153
2833.88/2841.49 c #Conflicts: 1115000 | #Constraints: 121153
2833.88/2841.49 c #Conflicts: 1116000 | #Constraints: 122153
2833.88/2841.49 c #Conflicts: 1117000 | #Constraints: 123153
2833.88/2841.49 c #Conflicts: 1118000 | #Constraints: 124153
2833.88/2841.49 c #Conflicts: 1119000 | #Constraints: 125153
2833.88/2841.49 c #Conflicts: 1120000 | #Constraints: 126153
2833.88/2841.49 c #Conflicts: 1121000 | #Constraints: 127153
2833.88/2841.49 c #Conflicts: 1122000 | #Constraints: 128153
2833.88/2841.49 c #Conflicts: 1123000 | #Constraints: 129153
2833.88/2841.49 c #Conflicts: 1124000 | #Constraints: 130153
2833.88/2841.49 c #Conflicts: 1125000 | #Constraints: 131153
2833.88/2841.49 c #Conflicts: 1126000 | #Constraints: 132153
2833.88/2841.49 c #Conflicts: 1127000 | #Constraints: 133153
2833.88/2841.49 c INPROCESSING
2833.88/2841.49 c GARBAGE COLLECT
2833.88/2841.49 c #Conflicts: 1128000 | #Constraints: 77752
2833.88/2841.49 c #Conflicts: 1129000 | #Constraints: 78752
2833.88/2841.49 c #Conflicts: 1130000 | #Constraints: 79752
2833.88/2841.49 c #Conflicts: 1131000 | #Constraints: 80752
2833.88/2841.49 c #Conflicts: 1132000 | #Constraints: 81752
2833.88/2841.49 c #Conflicts: 1133000 | #Constraints: 82752
2833.88/2841.49 c #Conflicts: 1134000 | #Constraints: 83752
2833.88/2841.49 c #Conflicts: 1135000 | #Constraints: 84752
2833.88/2841.49 c #Conflicts: 1136000 | #Constraints: 85752
2833.88/2841.49 c #Conflicts: 1137000 | #Constraints: 86752
2833.88/2841.49 c #Conflicts: 1138000 | #Constraints: 87752
2833.88/2841.49 c #Conflicts: 1139000 | #Constraints: 88752
2833.88/2841.49 c #Conflicts: 1140000 | #Constraints: 89752
2833.88/2841.49 c #Conflicts: 1141000 | #Constraints: 90752
2833.88/2841.49 c #Conflicts: 1142000 | #Constraints: 91752
2833.88/2841.49 c #Conflicts: 1143000 | #Constraints: 92752
2833.88/2841.49 c #Conflicts: 1144000 | #Constraints: 93752
2833.88/2841.49 c #Conflicts: 1145000 | #Constraints: 94753
2833.88/2841.49 c #Conflicts: 1146000 | #Constraints: 95753
2833.88/2841.49 c #Conflicts: 1147000 | #Constraints: 96753
2833.88/2841.49 c #Conflicts: 1148000 | #Constraints: 97753
2833.88/2841.49 c #Conflicts: 1149000 | #Constraints: 98753
2833.88/2841.49 c #Conflicts: 1150000 | #Constraints: 99753
2833.88/2841.49 c #Conflicts: 1151000 | #Constraints: 100753
2833.88/2841.49 c #Conflicts: 1152000 | #Constraints: 101753
2833.88/2841.49 c #Conflicts: 1153000 | #Constraints: 102753
2833.88/2841.49 c #Conflicts: 1154000 | #Constraints: 103753
2833.88/2841.49 c #Conflicts: 1155000 | #Constraints: 104753
2833.88/2841.49 c #Conflicts: 1156000 | #Constraints: 105753
2833.88/2841.49 c INPROCESSING
2833.88/2841.49 c GARBAGE COLLECT
2833.88/2841.49 c #Conflicts: 1157000 | #Constraints: 66274
2833.88/2841.49 c #Conflicts: 1158000 | #Constraints: 67274
2833.88/2841.49 c #Conflicts: 1159000 | #Constraints: 68274
2833.88/2841.49 c #Conflicts: 1160000 | #Constraints: 69274
2833.88/2841.49 c #Conflicts: 1161000 | #Constraints: 70274
2833.88/2841.49 c #Conflicts: 1162000 | #Constraints: 71274
2833.88/2841.49 c #Conflicts: 1163000 | #Constraints: 72274
2833.88/2841.49 c #Conflicts: 1164000 | #Constraints: 73274
2833.88/2841.49 c #Conflicts: 1165000 | #Constraints: 74274
2833.88/2841.49 c #Conflicts: 1166000 | #Constraints: 75274
2833.88/2841.49 c #Conflicts: 1167000 | #Constraints: 76274
2833.88/2841.49 c #Conflicts: 1168000 | #Constraints: 77274
2833.88/2841.49 c #Conflicts: 1169000 | #Constraints: 78274
2833.88/2841.49 c #Conflicts: 1170000 | #Constraints: 79274
2833.88/2841.49 c #Conflicts: 1171000 | #Constraints: 80274
2833.88/2841.49 c #Conflicts: 1172000 | #Constraints: 81274
2833.88/2841.49 c #Conflicts: 1173000 | #Constraints: 82274
2833.88/2841.49 c #Conflicts: 1174000 | #Constraints: 83274
2833.88/2841.49 c #Conflicts: 1175000 | #Constraints: 84274
2833.88/2841.49 c #Conflicts: 1176000 | #Constraints: 85274
2833.88/2841.49 c #Conflicts: 1177000 | #Constraints: 86274
2833.88/2841.49 c #Conflicts: 1178000 | #Constraints: 87274
3062.76/3070.91 c #Conflicts: 1179000 | #Constraints: 88274
3062.76/3070.91 c #Conflicts: 1180000 | #Constraints: 89274
3062.76/3070.91 c #Conflicts: 1181000 | #Constraints: 90274
3062.76/3070.91 c #Conflicts: 1182000 | #Constraints: 91274
3062.76/3070.91 c #Conflicts: 1183000 | #Constraints: 92274
3062.76/3070.91 c #Conflicts: 1184000 | #Constraints: 93274
3062.76/3070.91 c #Conflicts: 1185000 | #Constraints: 94274
3062.76/3070.91 c #Conflicts: 1186000 | #Constraints: 95274
3062.76/3070.91 c #Conflicts: 1187000 | #Constraints: 96274
3062.76/3070.91 c #Conflicts: 1188000 | #Constraints: 97274
3062.76/3070.91 c #Conflicts: 1189000 | #Constraints: 98274
3062.76/3070.91 c #Conflicts: 1190000 | #Constraints: 99274
3062.76/3070.91 c #Conflicts: 1191000 | #Constraints: 100274
3062.76/3070.91 c #Conflicts: 1192000 | #Constraints: 101274
3062.76/3070.91 c #Conflicts: 1193000 | #Constraints: 102274
3062.76/3070.91 c #Conflicts: 1194000 | #Constraints: 103274
3062.76/3070.91 c #Conflicts: 1195000 | #Constraints: 104274
3062.76/3070.91 c #Conflicts: 1196000 | #Constraints: 105274
3062.76/3070.91 c #Conflicts: 1197000 | #Constraints: 106274
3062.76/3070.91 c #Conflicts: 1198000 | #Constraints: 107274
3062.76/3070.91 c #Conflicts: 1199000 | #Constraints: 108274
3062.76/3070.91 c #Conflicts: 1200000 | #Constraints: 109274
3062.76/3070.91 c #Conflicts: 1201000 | #Constraints: 110274
3062.76/3070.91 c #Conflicts: 1202000 | #Constraints: 111274
3062.76/3070.91 c #Conflicts: 1203000 | #Constraints: 112274
3062.76/3070.91 c #Conflicts: 1204000 | #Constraints: 113274
3062.76/3070.91 c #Conflicts: 1205000 | #Constraints: 114274
3062.76/3070.91 c #Conflicts: 1206000 | #Constraints: 115274
3062.76/3070.91 c #Conflicts: 1207000 | #Constraints: 116274
3062.76/3070.91 c #Conflicts: 1208000 | #Constraints: 117274
3062.76/3070.91 c #Conflicts: 1209000 | #Constraints: 118274
3062.76/3070.91 c #Conflicts: 1210000 | #Constraints: 119274
3062.76/3070.91 c #Conflicts: 1211000 | #Constraints: 120274
3062.76/3070.91 c #Conflicts: 1212000 | #Constraints: 121274
3062.76/3070.91 c #Conflicts: 1213000 | #Constraints: 122274
3062.76/3070.91 c #Conflicts: 1214000 | #Constraints: 123274
3062.76/3070.91 c #Conflicts: 1215000 | #Constraints: 124274
3062.76/3070.91 c #Conflicts: 1216000 | #Constraints: 125274
3062.76/3070.91 c #Conflicts: 1217000 | #Constraints: 126274
3062.76/3070.91 c #Conflicts: 1218000 | #Constraints: 127274
3062.76/3070.91 c #Conflicts: 1219000 | #Constraints: 128274
3062.76/3070.91 c #Conflicts: 1220000 | #Constraints: 129274
3062.76/3070.91 c #Conflicts: 1221000 | #Constraints: 130274
3062.76/3070.91 c #Conflicts: 1222000 | #Constraints: 131274
3062.76/3070.91 c #Conflicts: 1223000 | #Constraints: 132274
3062.76/3070.91 c #Conflicts: 1224000 | #Constraints: 133274
3062.76/3070.91 c #Conflicts: 1225000 | #Constraints: 134274
3062.76/3070.91 c #Conflicts: 1226000 | #Constraints: 135274
3062.76/3070.91 c #Conflicts: 1227000 | #Constraints: 136274
3062.76/3070.91 c #Conflicts: 1228000 | #Constraints: 137274
3062.76/3070.91 c INPROCESSING
3062.76/3070.91 c GARBAGE COLLECT
3062.76/3070.91 c #Conflicts: 1229000 | #Constraints: 79578
3062.76/3070.91 c #Conflicts: 1230000 | #Constraints: 80578
3062.76/3070.91 c #Conflicts: 1231000 | #Constraints: 81578
3062.76/3070.91 c #Conflicts: 1232000 | #Constraints: 82578
3062.76/3070.91 c #Conflicts: 1233000 | #Constraints: 83578
3062.76/3070.91 c #Conflicts: 1234000 | #Constraints: 84578
3062.76/3070.91 c #Conflicts: 1235000 | #Constraints: 85578
3062.76/3070.91 c #Conflicts: 1236000 | #Constraints: 86578
3062.76/3070.91 c #Conflicts: 1237000 | #Constraints: 87578
3062.76/3070.91 c #Conflicts: 1238000 | #Constraints: 88578
3062.76/3070.91 c #Conflicts: 1239000 | #Constraints: 89578
3062.76/3070.91 c #Conflicts: 1240000 | #Constraints: 90578
3062.76/3070.91 c #Conflicts: 1241000 | #Constraints: 91578
3062.76/3070.91 c #Conflicts: 1242000 | #Constraints: 92578
3062.76/3070.91 c #Conflicts: 1243000 | #Constraints: 93578
3062.76/3070.91 c #Conflicts: 1244000 | #Constraints: 94578
3062.76/3070.91 c #Conflicts: 1245000 | #Constraints: 95578
3062.76/3070.91 c #Conflicts: 1246000 | #Constraints: 96578
3062.76/3070.91 c #Conflicts: 1247000 | #Constraints: 97578
3062.76/3070.91 c #Conflicts: 1248000 | #Constraints: 98578
3062.76/3070.91 c #Conflicts: 1249000 | #Constraints: 99578
3062.76/3070.91 c #Conflicts: 1250000 | #Constraints: 100578
3062.76/3070.91 c #Conflicts: 1251000 | #Constraints: 101578
3062.76/3070.91 c #Conflicts: 1252000 | #Constraints: 102578
3062.76/3070.91 c #Conflicts: 1253000 | #Constraints: 103578
3062.76/3070.91 c #Conflicts: 1254000 | #Constraints: 104578
3062.76/3070.91 c #Conflicts: 1255000 | #Constraints: 105578
3062.76/3070.91 c #Conflicts: 1256000 | #Constraints: 106578
3296.19/3304.97 c #Conflicts: 1257000 | #Constraints: 107578
3296.19/3304.97 c #Conflicts: 1258000 | #Constraints: 108578
3296.19/3304.97 c #Conflicts: 1259000 | #Constraints: 109578
3296.19/3304.97 c INPROCESSING
3296.19/3304.97 c GARBAGE COLLECT
3296.19/3304.97 c #Conflicts: 1260000 | #Constraints: 68679
3296.19/3304.97 c #Conflicts: 1261000 | #Constraints: 69679
3296.19/3304.97 c #Conflicts: 1262000 | #Constraints: 70679
3296.19/3304.97 c #Conflicts: 1263000 | #Constraints: 71679
3296.19/3304.97 c #Conflicts: 1264000 | #Constraints: 72679
3296.19/3304.97 c #Conflicts: 1265000 | #Constraints: 73679
3296.19/3304.97 c #Conflicts: 1266000 | #Constraints: 74679
3296.19/3304.97 c #Conflicts: 1267000 | #Constraints: 75679
3296.19/3304.97 c #Conflicts: 1268000 | #Constraints: 76679
3296.19/3304.97 c #Conflicts: 1269000 | #Constraints: 77679
3296.19/3304.97 c #Conflicts: 1270000 | #Constraints: 78679
3296.19/3304.97 c #Conflicts: 1271000 | #Constraints: 79679
3296.19/3304.97 c #Conflicts: 1272000 | #Constraints: 80679
3296.19/3304.97 c #Conflicts: 1273000 | #Constraints: 81679
3296.19/3304.97 c #Conflicts: 1274000 | #Constraints: 82679
3296.19/3304.97 c #Conflicts: 1275000 | #Constraints: 83679
3296.19/3304.97 c #Conflicts: 1276000 | #Constraints: 84679
3296.19/3304.97 c #Conflicts: 1277000 | #Constraints: 85679
3296.19/3304.97 c #Conflicts: 1278000 | #Constraints: 86679
3296.19/3304.97 c #Conflicts: 1279000 | #Constraints: 87679
3296.19/3304.97 c #Conflicts: 1280000 | #Constraints: 88679
3296.19/3304.97 c #Conflicts: 1281000 | #Constraints: 89679
3296.19/3304.97 c #Conflicts: 1282000 | #Constraints: 90679
3296.19/3304.97 c #Conflicts: 1283000 | #Constraints: 91679
3296.19/3304.97 c #Conflicts: 1284000 | #Constraints: 92679
3296.19/3304.97 c #Conflicts: 1285000 | #Constraints: 93679
3296.19/3304.97 c #Conflicts: 1286000 | #Constraints: 94679
3296.19/3304.97 c #Conflicts: 1287000 | #Constraints: 95679
3296.19/3304.97 c #Conflicts: 1288000 | #Constraints: 96679
3296.19/3304.97 c #Conflicts: 1289000 | #Constraints: 97679
3296.19/3304.97 c #Conflicts: 1290000 | #Constraints: 98679
3296.19/3304.97 c #Conflicts: 1291000 | #Constraints: 99679
3296.19/3304.97 c #Conflicts: 1292000 | #Constraints: 100679
3296.19/3304.97 c #Conflicts: 1293000 | #Constraints: 101679
3296.19/3304.97 c #Conflicts: 1294000 | #Constraints: 102679
3296.19/3304.97 c #Conflicts: 1295000 | #Constraints: 103679
3296.19/3304.97 c #Conflicts: 1296000 | #Constraints: 104679
3296.19/3304.97 c #Conflicts: 1297000 | #Constraints: 105679
3296.19/3304.97 c #Conflicts: 1298000 | #Constraints: 106679
3296.19/3304.97 c #Conflicts: 1299000 | #Constraints: 107679
3296.19/3304.97 c #Conflicts: 1300000 | #Constraints: 108680
3296.19/3304.97 c #Conflicts: 1301000 | #Constraints: 109680
3296.19/3304.97 c #Conflicts: 1302000 | #Constraints: 110680
3296.19/3304.97 c #Conflicts: 1303000 | #Constraints: 111680
3296.19/3304.97 c #Conflicts: 1304000 | #Constraints: 112680
3296.19/3304.97 c #Conflicts: 1305000 | #Constraints: 113680
3296.19/3304.97 c #Conflicts: 1306000 | #Constraints: 114680
3296.19/3304.97 c #Conflicts: 1307000 | #Constraints: 115680
3296.19/3304.97 c #Conflicts: 1308000 | #Constraints: 116680
3296.19/3304.97 c #Conflicts: 1309000 | #Constraints: 117680
3296.19/3304.97 c #Conflicts: 1310000 | #Constraints: 118680
3296.19/3304.97 c #Conflicts: 1311000 | #Constraints: 119680
3296.19/3304.97 c #Conflicts: 1312000 | #Constraints: 120680
3296.19/3304.97 c #Conflicts: 1313000 | #Constraints: 121680
3296.19/3304.97 c #Conflicts: 1314000 | #Constraints: 122680
3296.19/3304.97 c #Conflicts: 1315000 | #Constraints: 123680
3296.19/3304.97 c #Conflicts: 1316000 | #Constraints: 124680
3296.19/3304.97 c #Conflicts: 1317000 | #Constraints: 125680
3296.19/3304.97 c #Conflicts: 1318000 | #Constraints: 126680
3296.19/3304.97 c #Conflicts: 1319000 | #Constraints: 127680
3296.19/3304.97 c #Conflicts: 1320000 | #Constraints: 128680
3296.19/3304.97 c #Conflicts: 1321000 | #Constraints: 129680
3296.19/3304.97 c #Conflicts: 1322000 | #Constraints: 130680
3296.19/3304.97 c #Conflicts: 1323000 | #Constraints: 131680
3296.19/3304.97 c #Conflicts: 1324000 | #Constraints: 132680
3296.19/3304.97 c #Conflicts: 1325000 | #Constraints: 133680
3296.19/3304.97 c #Conflicts: 1326000 | #Constraints: 134680
3296.19/3304.97 c #Conflicts: 1327000 | #Constraints: 135680
3296.19/3304.97 c #Conflicts: 1328000 | #Constraints: 136680
3296.19/3304.97 c #Conflicts: 1329000 | #Constraints: 137680
3296.19/3304.97 c #Conflicts: 1330000 | #Constraints: 138680
3296.19/3304.97 c #Conflicts: 1331000 | #Constraints: 139680
3296.19/3304.97 c #Conflicts: 1332000 | #Constraints: 140680
3296.19/3304.97 c #Conflicts: 1333000 | #Constraints: 141680
3296.19/3304.97 c #Conflicts: 1334000 | #Constraints: 142680
3354.34/3363.27 c #Conflicts: 1335000 | #Constraints: 143680
3354.34/3363.27 c INPROCESSING
3354.34/3363.27 c GARBAGE COLLECT
3354.34/3363.27 c rational objective 150
3569.83/3579.29 c #Conflicts: 1336000 | #Constraints: 83067
3569.83/3579.29 c #Conflicts: 1337000 | #Constraints: 84067
3569.83/3579.29 c #Conflicts: 1338000 | #Constraints: 85067
3569.83/3579.29 c #Conflicts: 1339000 | #Constraints: 86067
3569.83/3579.29 c #Conflicts: 1340000 | #Constraints: 87067
3569.83/3579.29 c #Conflicts: 1341000 | #Constraints: 88067
3569.83/3579.29 c #Conflicts: 1342000 | #Constraints: 89067
3569.83/3579.29 c #Conflicts: 1343000 | #Constraints: 90067
3569.83/3579.29 c #Conflicts: 1344000 | #Constraints: 91067
3569.83/3579.29 c #Conflicts: 1345000 | #Constraints: 92067
3569.83/3579.29 c #Conflicts: 1346000 | #Constraints: 93067
3569.83/3579.29 c #Conflicts: 1347000 | #Constraints: 94067
3569.83/3579.29 c #Conflicts: 1348000 | #Constraints: 95067
3569.83/3579.29 c #Conflicts: 1349000 | #Constraints: 96067
3569.83/3579.29 c #Conflicts: 1350000 | #Constraints: 97067
3569.83/3579.29 c #Conflicts: 1351000 | #Constraints: 98067
3569.83/3579.29 c #Conflicts: 1352000 | #Constraints: 99067
3569.83/3579.29 c #Conflicts: 1353000 | #Constraints: 100067
3569.83/3579.29 c #Conflicts: 1354000 | #Constraints: 101067
3569.83/3579.29 c #Conflicts: 1355000 | #Constraints: 102067
3569.83/3579.29 c #Conflicts: 1356000 | #Constraints: 103067
3569.83/3579.29 c #Conflicts: 1357000 | #Constraints: 104067
3569.83/3579.29 c #Conflicts: 1358000 | #Constraints: 105067
3569.83/3579.29 c #Conflicts: 1359000 | #Constraints: 106067
3569.83/3579.29 c #Conflicts: 1360000 | #Constraints: 107067
3569.83/3579.29 c #Conflicts: 1361000 | #Constraints: 108067
3569.83/3579.29 c #Conflicts: 1362000 | #Constraints: 109067
3569.83/3579.29 c #Conflicts: 1363000 | #Constraints: 110067
3569.83/3579.29 c #Conflicts: 1364000 | #Constraints: 111067
3569.83/3579.29 c #Conflicts: 1365000 | #Constraints: 112067
3569.83/3579.29 c #Conflicts: 1366000 | #Constraints: 113067
3569.83/3579.29 c INPROCESSING
3569.83/3579.29 c GARBAGE COLLECT
3569.83/3579.29 c #Conflicts: 1367000 | #Constraints: 70209
3569.83/3579.29 c #Conflicts: 1368000 | #Constraints: 71209
3569.83/3579.29 c #Conflicts: 1369000 | #Constraints: 72209
3569.83/3579.29 c #Conflicts: 1370000 | #Constraints: 73209
3569.83/3579.29 c #Conflicts: 1371000 | #Constraints: 74209
3569.83/3579.29 c #Conflicts: 1372000 | #Constraints: 75209
3569.83/3579.29 c #Conflicts: 1373000 | #Constraints: 76209
3569.83/3579.29 c #Conflicts: 1374000 | #Constraints: 77209
3569.83/3579.29 c #Conflicts: 1375000 | #Constraints: 78209
3569.83/3579.29 c #Conflicts: 1376000 | #Constraints: 79209
3569.83/3579.29 c #Conflicts: 1377000 | #Constraints: 80209
3569.83/3579.29 c #Conflicts: 1378000 | #Constraints: 81209
3569.83/3579.29 c #Conflicts: 1379000 | #Constraints: 82209
3569.83/3579.29 c #Conflicts: 1380000 | #Constraints: 83209
3569.83/3579.29 c #Conflicts: 1381000 | #Constraints: 84209
3569.83/3579.29 c #Conflicts: 1382000 | #Constraints: 85209
3569.83/3579.29 c #Conflicts: 1383000 | #Constraints: 86209
3569.83/3579.29 c #Conflicts: 1384000 | #Constraints: 87209
3569.83/3579.29 c #Conflicts: 1385000 | #Constraints: 88209
3569.83/3579.29 c #Conflicts: 1386000 | #Constraints: 89209
3569.83/3579.29 c #Conflicts: 1387000 | #Constraints: 90209
3569.83/3579.29 c #Conflicts: 1388000 | #Constraints: 91209
3569.83/3579.29 c #Conflicts: 1389000 | #Constraints: 92209
3569.83/3579.29 c #Conflicts: 1390000 | #Constraints: 93209
3569.83/3579.29 c #Conflicts: 1391000 | #Constraints: 94209
3569.83/3579.29 c #Conflicts: 1392000 | #Constraints: 95209
3569.83/3579.29 c #Conflicts: 1393000 | #Constraints: 96209
3569.83/3579.29 c #Conflicts: 1394000 | #Constraints: 97209
3569.83/3579.29 c #Conflicts: 1395000 | #Constraints: 98209
3569.83/3579.29 c #Conflicts: 1396000 | #Constraints: 99209
3569.83/3579.29 c #Conflicts: 1397000 | #Constraints: 100209
3569.83/3579.29 c #Conflicts: 1398000 | #Constraints: 101209
3569.83/3579.29 c #Conflicts: 1399000 | #Constraints: 102209
3569.83/3579.29 c #Conflicts: 1400000 | #Constraints: 103209
3569.83/3579.29 c #Conflicts: 1401000 | #Constraints: 104209
3569.83/3579.29 c #Conflicts: 1402000 | #Constraints: 105209
3569.83/3579.29 c #Conflicts: 1403000 | #Constraints: 106209
3569.83/3579.29 c #Conflicts: 1404000 | #Constraints: 107209
3569.83/3579.29 c #Conflicts: 1405000 | #Constraints: 108209
3569.83/3579.29 c #Conflicts: 1406000 | #Constraints: 109209
3569.83/3579.29 c #Conflicts: 1407000 | #Constraints: 110209
3569.83/3579.29 c #Conflicts: 1408000 | #Constraints: 111209
3569.83/3579.29 c #Conflicts: 1409000 | #Constraints: 112209
3569.83/3579.29 c #Conflicts: 1410000 | #Constraints: 113209
3569.83/3579.29 c #Conflicts: 1411000 | #Constraints: 114209
3569.83/3579.29 c #Conflicts: 1412000 | #Constraints: 115209
3569.83/3579.29 c #Conflicts: 1413000 | #Constraints: 116209
3569.83/3579.29 c #Conflicts: 1414000 | #Constraints: 117209
3600.06/3609.50 c #Conflicts: 1415000 | #Constraints: 118209
3600.06/3609.50 c #Conflicts: 1416000 | #Constraints: 119209
3600.06/3609.50 c #Conflicts: 1417000 | #Constraints: 120209
3600.06/3609.50 c #Conflicts: 1418000 | #Constraints: 121209
3600.06/3609.50 c #Conflicts: 1419000 | #Constraints: 122209
3600.06/3609.50 c #Conflicts: 1420000 | #Constraints: 123209
3600.06/3609.50 c #Conflicts: 1421000 | #Constraints: 124209
3600.06/3609.50 c #Conflicts: 1422000 | #Constraints: 125209
3600.06/3609.50 c #Conflicts: 1423000 | #Constraints: 126209
3600.06/3609.50 c cpu time 3575.53 s
3600.06/3609.50 c deterministic time 244504086892 2.45e+11
3600.06/3609.50 c optimization time 140.639 s
3600.06/3609.50 c total solve time 3434.67 s
3600.06/3609.50 c core-guided solve time 0 s
3600.06/3609.50 c propagation time 1794.57 s
3600.06/3609.50 c conflict analysis time 1464.93 s
3600.06/3609.50 c propagations 1411352772
3600.06/3609.50 c resolve steps 96936995
3600.06/3609.50 c decisions 25791647
3600.06/3609.50 c conflicts 1423322
3600.06/3609.50 c restarts 2747
3600.06/3609.50 c inprocessing phases 51
3600.06/3609.50 c garbage collections 51 ,( 100.00 )
3600.06/3609.50 c input clauses 18002 ,( 99.17 )
3600.06/3609.50 c input cardinalities 150 ,( 0.83 )
3600.06/3609.50 c input general constraints 0 ,( 0.00 )
3600.06/3609.50 c input average constraint length 6.43
3600.06/3609.50 c input average constraint degree 1.97
3600.06/3609.50 c learned clauses 1057067 ,( 74.27 )
3600.06/3609.50 c learned cardinalities 41447 ,( 2.91 )
3600.06/3609.50 c learned general constraints 324821 ,( 22.82 )
3600.06/3609.50 c learned average constraint length 770.31
3600.06/3609.50 c learned average constraint degree 45321734.70
3600.06/3609.50 c watched CF 32, 64, 128, Arb: 86690 , 0 , 0 , 0
3600.06/3609.50 c counting CF 32, 64, 128, Arb: 238131 , 0 , 0 , 0
3600.06/3609.50 c watched constraints 86690 ,( 26.69 )
3600.06/3609.50 c counting constraints 238131 ,( 73.31 )
3600.06/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1337551421 , 642561299 , 2773812113 ,( 86731530 , 2687080583 )
3600.06/3609.50 c gcd simplifications 897
3600.06/3609.50 c detected cardinalities 5391
3600.06/3609.50 c weakened non-implied lits 417223957
3600.06/3609.50 c weakened non-implying lits 224493
3600.06/3609.50 c original variables 17850
3600.06/3609.50 c clausal propagations 641598247
3600.06/3609.50 c cardinality propagations 514459988
3600.06/3609.50 c watched propagations 5602671
3600.06/3609.50 c counting propagations 237451198
3600.06/3609.50 c watch lookups 91747539614
3600.06/3609.50 c watch backjump lookups 0
3600.06/3609.50 c watch checks 34350050197
3600.06/3609.50 c propagation checks 110385504796
3600.06/3609.50 c constraint additions 5144983457
3600.06/3609.50 c trail pops 1438551292
3600.06/3609.50 c formula constraints 18152
3600.06/3609.50 c learned constraints 1423310
3600.06/3609.50 c bound constraints 0
3600.06/3609.50 c core-guided constraints 0
3600.06/3609.50 c encountered formula constraints 63858882
3600.06/3609.50 c encountered learned constraints 34500105
3600.06/3609.50 c encountered bound constraints 0
3600.06/3609.50 c encountered core-guided constraints 0
3600.06/3609.50 c LP total time 360.373 s
3600.06/3609.50 c LP solve time 350.66 s
3600.06/3609.50 c LP constraints added 18493
3600.06/3609.50 c LP constraints removed 68
3600.06/3609.50 c LP pivots internal 143437
3600.06/3609.50 c LP pivots root 169679
3600.06/3609.50 c LP calls 22
3600.06/3609.50 c LP optimalities 4
3600.06/3609.50 c LP no pivot count 0
3600.06/3609.50 c LP infeasibilities 11
3600.06/3609.50 c LP valid Farkas constraints 11
3600.06/3609.50 c LP learned Farkas constraints 11
3600.06/3609.50 c LP basis resets 0
3600.06/3609.50 c LP cycling count 0
3600.06/3609.50 c LP singular count 0
3600.06/3609.50 c LP no primal count 0
3600.06/3609.50 c LP no farkas count 0
3600.06/3609.50 c LP other issue count 0
3600.06/3609.50 c LP Gomory cuts 3
3600.06/3609.50 c LP learned cuts 601
3600.06/3609.50 c LP deleted cuts 300
3600.06/3609.50 c LP encountered Gomory constraints 0
3600.06/3609.50 c LP encountered Farkas constraints 1315
3600.06/3609.50 c LP encountered learned Farkas constraints 4
3600.06/3609.50 c CG auxiliary variables introduced 0
3600.06/3609.50 c CG solutions found 0
3600.06/3609.50 c CG cores constructed 0
3600.06/3609.50 c CG core cardinality constraints returned 0
3600.06/3609.50 c CG unit cores 0
3600.06/3609.50 c CG single cores 0
3600.06/3609.50 c CG blocks removed during cardinality reduction 0
3600.06/3609.50 c CG first core best 0
3600.06/3609.50 c CG decision core best 0
3600.06/3609.50 c CG core reduction tie 0
3600.06/3609.50 c CG core degree average 0.00
3600.06/3609.50 c CG core slack average 0.00
3600.06/3609.50 c CG core upper bound improvements 0
3600.06/3609.50 c STR number of successful calls 0
3600.06/3609.50 c STR number of unsuccessful calls 0
3600.06/3609.50 c STR number of inconclusive calls 0
3600.06/3609.50 c STR number of successful attempts 0
3600.06/3609.50 c STR number of unsuccessful attempts 0
3600.06/3609.50 c STR number of inconclusive attempts 0
3600.06/3609.50 c STR average degree increase per successful call inf
3600.06/3609.50 c STR average degree increase per successful attempt inf
3600.06/3609.50 c STR total number of conflicts for successful attempts 0
3600.06/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.50 c STR average number of conflicts per successful attempt inf
3600.06/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.50 c AVG.sumWPerc 65.14
3600.06/3609.50 c bigint constraints 0
3600.06/3609.50 s UNKNOWN
3600.06/3609.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63277 MiB free)
memory of node 1: 64507 MiB (63982 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507084-1751183937/watcher-4507084-1751183937 -o /tmp/evaluation-result-4507084-1751183937/solver-4507084-1751183937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22850 --watchdog 3760 run-dec.sh HOME/instance-4507084-1751183937.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23200, runsolver pid=23196
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.11 4.11 4.05 3/244 23214
/proc/meminfo: memFree=130309528/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=59788 memory=14480 CPUtime=0.07 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 1464 0 0 0 5 2 0 0 20 0 1 0 34073464 61222912 3620 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 14947 3620 1856 1147 0 2374 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63980 KiB
Current children cumulated memory: 17552 KiB
[startup+0.212338 s]*
/proc/loadavg: 4.11 4.11 4.05 5/244 23238
/proc/meminfo: memFree=130306316/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=63320 memory=19272 CPUtime=0.18 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 1858 0 0 0 14 4 0 0 20 0 1 0 34073464 64839680 4818 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 15830 4818 2176 1147 0 3257 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 67512 KiB
Current children cumulated memory: 22344 KiB
[startup+0.312664 s]*
/proc/loadavg: 4.11 4.11 4.05 3/243 23249
/proc/meminfo: memFree=130276024/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=88004 memory=37596 CPUtime=0.28 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 5819 0 0 0 22 6 0 0 20 0 1 0 34073464 90116096 9399 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 22001 9399 2208 1147 0 9428 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 92196 KiB
Current children cumulated memory: 40668 KiB
[startup+0.700315 s]
/proc/loadavg: 4.11 4.11 4.05 5/246 23261
/proc/meminfo: memFree=130253848/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=104184 memory=50528 CPUtime=0.65 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 9191 0 0 0 57 8 0 0 20 0 1 0 34073464 106684416 12632 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 26046 12632 2240 1147 0 13473 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 108376 KiB
Current children cumulated memory: 53600 KiB
[startup+1.50036 s]
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130140128/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=105284 memory=52576 CPUtime=1.44 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 9687 0 0 0 136 8 0 0 20 0 1 0 34073464 107810816 13144 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 26321 13144 2240 1147 0 13748 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 109476 KiB
Current children cumulated memory: 55648 KiB
[startup+3.11304 s]
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130112504/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=106552 memory=56804 CPUtime=3.06 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 10191 0 0 0 293 13 0 0 20 0 1 0 34073464 109109248 14201 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 26638 14201 2304 1147 0 14065 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 110744 KiB
Current children cumulated memory: 59876 KiB
[startup+6.30036 s]
/proc/loadavg: 4.10 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130083388/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=117300 memory=67200 CPUtime=6.24 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 12253 0 0 0 598 26 0 0 20 0 1 0 34073464 120115200 16800 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 29325 16800 2304 1147 0 16752 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 121492 KiB
Current children cumulated memory: 70272 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130020396/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=125124 memory=73984 CPUtime=12.61 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 13973 0 0 0 1220 41 0 0 20 0 1 0 34073464 128126976 18496 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 31281 18496 2304 1147 0 18708 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 129316 KiB
Current children cumulated memory: 77056 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.12 4.06 5/254 23276
/proc/meminfo: memFree=129932132/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=150668 memory=99224 CPUtime=25.38 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 18288 0 0 0 2469 69 0 0 20 0 1 0 34073464 154284032 24806 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 37667 24806 2304 1147 0 25094 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 154860 KiB
Current children cumulated memory: 102296 KiB
[startup+51.1132 s]
/proc/loadavg: 4.09 4.11 4.06 5/255 23278
/proc/meminfo: memFree=129760664/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=202384 memory=135460 CPUtime=50.9 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 24296 0 0 0 4964 126 0 0 20 0 1 0 34073464 207241216 33865 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 50596 33865 2304 1147 0 38023 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 206576 KiB
Current children cumulated memory: 138532 KiB
[startup+102.3 s]
/proc/loadavg: 4.52 4.22 4.10 5/255 23279
/proc/meminfo: memFree=129642148/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=223664 memory=159904 CPUtime=101.96 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 29619 0 0 0 9987 209 0 0 20 0 1 0 34073464 229031936 39976 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 55916 39976 2304 1147 0 43343 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 227856 KiB
Current children cumulated memory: 162976 KiB
[startup+162.3 s]
/proc/loadavg: 4.58 4.31 4.14 5/255 23292
/proc/meminfo: memFree=129438500/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=271072 memory=214468 CPUtime=161.78 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 34065 0 0 0 15911 267 0 0 20 0 1 0 34073464 277577728 53617 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 67768 53617 2304 1147 0 55195 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 275264 KiB
Current children cumulated memory: 217540 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.27 4.13 5/255 23294
/proc/meminfo: memFree=129256400/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=291884 memory=235460 CPUtime=221.61 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 39323 0 0 0 21792 369 0 0 20 0 1 0 34073464 298889216 58865 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 72971 58865 2304 1147 0 60398 0
################
# More data... #
################
/proc/23202/statm: 298682 255092 2336 1147 0 286109 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 1198920 KiB
Current children cumulated memory: 1023440 KiB
[startup+3162.3 s]
/proc/loadavg: 4.28 4.26 4.18 5/255 23442
/proc/meminfo: memFree=125398624/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=1194996 memory=1020752 CPUtime=3153.95 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 144508 0 0 0 313161 2234 0 0 20 0 1 0 34073464 1223675904 255188 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 298749 255188 2336 1147 0 286176 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 1199188 KiB
Current children cumulated memory: 1023824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.22 4.17 5/254 23444
/proc/meminfo: memFree=125395300/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=1197544 memory=1022288 CPUtime=3213.79 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 144914 0 0 0 319110 2269 0 0 20 0 1 0 34073464 1226285056 255572 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 299386 255572 2336 1147 0 286813 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 1201736 KiB
Current children cumulated memory: 1025360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.20 4.16 5/255 23449
/proc/meminfo: memFree=125400680/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=1198264 memory=1023824 CPUtime=3273.65 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 145271 0 0 0 325077 2288 0 0 20 0 1 0 34073464 1227022336 255956 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 299566 255956 2336 1147 0 286993 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 1202456 KiB
Current children cumulated memory: 1026896 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/255 23452
/proc/meminfo: memFree=125403212/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=1202564 memory=1027792 CPUtime=3333.5 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 146408 0 0 0 331041 2309 0 0 20 0 1 0 34073464 1231425536 256948 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 300641 256948 2336 1147 0 288068 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 1206756 KiB
Current children cumulated memory: 1030864 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/256 23459
/proc/meminfo: memFree=125390792/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=1204640 memory=1029968 CPUtime=3393.35 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 146964 0 0 0 336997 2338 0 0 20 0 1 0 34073464 1233551360 257492 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 301160 257492 2336 1147 0 288587 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 1208832 KiB
Current children cumulated memory: 1033040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.15 4.15 5/256 23461
/proc/meminfo: memFree=125387496/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=1206520 memory=1031632 CPUtime=3453.21 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 147375 0 0 0 342964 2357 0 0 20 0 1 0 34073464 1235476480 257908 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 301630 257908 2336 1147 0 289057 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 1210712 KiB
Current children cumulated memory: 1034704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/256 23463
/proc/meminfo: memFree=125354424/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=1208924 memory=1033808 CPUtime=3513.06 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 147923 0 0 0 348897 2409 0 0 20 0 1 0 34073464 1237938176 258452 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 302231 258452 2336 1147 0 289658 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 1213116 KiB
Current children cumulated memory: 1036880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/255 23465
/proc/meminfo: memFree=125334260/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=1208924 memory=1033808 CPUtime=3572.92 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 147923 0 0 0 354852 2440 0 0 20 0 1 0 34073464 1237938176 258452 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 302231 258452 2336 1147 0 289658 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 1213116 KiB
Current children cumulated memory: 1036880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.12 4.14 4.15 5/255 23467
/proc/meminfo: memFree=125328028/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=1208924 memory=1033936 CPUtime=3600.06 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 147946 0 0 0 357553 2453 0 0 20 0 1 0 34073464 1237938176 258484 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 302231 258484 2336 1147 0 289658 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1213116 KiB
Current children cumulated memory: 1037008 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.51 s]
# the end of solver process 23200 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001222 s, system=0.003815 s
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 23202 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.54 s, system=24.5393 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.12 4.14 4.15 5/255 23467
/proc/meminfo: memFree=125328028/131382116 swapFree=33010684/33010684
[pid=23200] ppid=23196 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23200/stat : 23200 (run-dec.sh) S 23196 23200 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34073462 4292608 768 18446744073709551615 94168621342720 94168622237253 140732859548048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94168622476304 94168622524048 94168654204928 140732859550061 140732859550184 140732859550184 140732859555786 0
/proc/23200/statm: 1048 768 704 219 0 110 0
[pid=23202] ppid=23200 vsize=1208924 memory=1033936 CPUtime=3600.06 cores=1,3
/proc/23202/stat : 23202 (roundingsat) R 23200 23200 22838 0 -1 4194304 147946 0 0 0 357553 2453 0 0 20 0 1 0 34073464 1237938176 258484 18446744073709551615 4227072 8923433 140728059848208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36909056 140728059857335 140728059857448 140728059857448 140728059863018 0
/proc/23202/statm: 302231 258484 2336 1147 0 289658 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1213116 KiB
Current children cumulated memory: 1037008 KiB
Child status: 2
Real time (s): 3609.51
CPU time (s): 3600.08
CPU user time (s): 3575.54
CPU system time (s): 24.5393
CPU usage (%): 99.7387
Max. virtual memory (cumulated for all children) (KiB): 1213116
Max. memory (cumulated for all children) (KiB): 1037008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.54
system time used= 24.5393
maximum resident set size= 1034320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148171
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 403
involuntary context switches= 3002
# summary of solver processes directly reported to runsolver:
# pid: 23200,23202
# total CPU time (s): 3600.08
# total CPU user time (s): 3575.54
# total CPU system time (s): 24.5393
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9634 second user time and 36.3314 second system time
The end
Begin job on nodeC011 at 2025-06-29 09:58:57
IDJOB=4507084
IDBENCH=158322
IDSOLVER=3349
FILE ID=nodeC011/4507084-1751183937
RUNJOBID= nodeC011-1751180326-22850
SLURM_JOB_ID= 9587547
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507084-1751183937/watcher-4507084-1751183937 -o /tmp/evaluation-result-4507084-1751183937/solver-4507084-1751183937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22850 --watchdog 3760 run-dec.sh HOME/instance-4507084-1751183937.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=919027600
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.428
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.297
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.545
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.294
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2167.100
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.225
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.419
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.239
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130318560 kB
MemAvailable: 129974896 kB
Buffers: 3280 kB
Cached: 467648 kB
SwapCached: 0 kB
Active: 322284 kB
Inactive: 219820 kB
Active(anon): 89156 kB
Inactive(anon): 0 kB
Active(file): 233128 kB
Inactive(file): 219820 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8512 kB
Writeback: 0 kB
AnonPages: 74176 kB
Mapped: 102960 kB
Shmem: 17960 kB
KReclaimable: 85648 kB
Slab: 164748 kB
SReclaimable: 85648 kB
SUnreclaim: 79100 kB
KernelStack: 3892 kB
PageTables: 3552 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 343784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC011 at 2025-06-29 10:59:07