(1,25) (2,19) (3,22) (4,20) (5,27) (6,28) (7,26) (8,24) (9,23) (10,29) (11,30) (12,16) (13,18) (14,17) (15,21) 
nodes: 81226  conflicts: 13  modelTime: 1183  solveTime: 288992  totalTime: 290200  modelSize: 41293  readTime: 25 size: 15