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