(1,21) (2,28) (4,20) (5,30) (8,26) (9,24) (10,27) (11,19) (13,16) (14,17) (15,29) 
nodes: 312  conflicts: 69  modelTime: 661  solveTime: 682  totalTime: 1349  modelSize: 41301  readTime: 6 size: 11