(1,17) (2,20) (3,30) (5,19) (6,26) (7,21) (9,16) (10,28) (11,27) (13,24) (14,25) (15,23) 
nodes: 1072  conflicts: 59  modelTime: 661  solveTime: 1562  totalTime: 2230  modelSize: 41293  readTime: 7 size: 12