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