(1,21) (2,29) (3,18) (5,28) (6,23) (8,27) (9,22) (10,17) (11,26) (12,25) (13,20) (14,19) (15,30) 
nodes: 1396  conflicts: 44  modelTime: 658  solveTime: 1105  totalTime: 1770  modelSize: 41293  readTime: 7 size: 13