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