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