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