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