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