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