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