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