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