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