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