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