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