(1,18) (2,30) (4,28) (5,17) (6,26) (7,27) (8,20) (9,21) (10,16) (11,24) (12,19) (13,22) (14,23) (15,29) 
nodes: 1407  conflicts: 39  modelTime: 657  solveTime: 1506  totalTime: 2169  modelSize: 41299  readTime: 6 size: 14