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