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