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