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