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