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