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