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