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