(1,17) (2,24) (3,22) (4,20) (5,30) (6,19) (7,21) (8,18) (10,29) (11,26) (12,27) (13,28) (14,23) (15,16) 
nodes: 1100  conflicts: 33  modelTime: 662  solveTime: 1017  totalTime: 1685  modelSize: 41298  readTime: 6 size: 14