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