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