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