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