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