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