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