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