(1,18) (2,27) (3,24) (4,29) (5,28) (8,22) (9,17) (11,23) (12,16) (13,21) (14,20) (15,25) 
nodes: 1046  conflicts: 76  modelTime: 662  solveTime: 804  totalTime: 1473  modelSize: 41300  readTime: 7 size: 12