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