(1,21) (2,29) (3,27) (4,16) (7,18) (8,23) (9,17) (10,26) (11,28) (12,19) (13,22) (14,25) (15,30) 
nodes: 824  conflicts: 50  modelTime: 659  solveTime: 1385  totalTime: 2051  modelSize: 41293  readTime: 7 size: 13