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