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