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