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