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