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