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