(1,25) (2,20) (3,24) (5,18) (6,16) (7,30) (9,19) (10,23) (11,28) (12,22) (13,26) (14,29) (15,21) 
nodes: 955  conflicts: 47  modelTime: 665  solveTime: 1018  totalTime: 1690  modelSize: 41293  readTime: 7 size: 13