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