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