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