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