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