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