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