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