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