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