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