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