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