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