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