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