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