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