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