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