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