(1,17) (2,20) (3,30) (4,24) (6,18) (7,26) (9,25) (10,16) (12,27) (13,19) (15,29) 
nodes: 1427  conflicts: 70  modelTime: 661  solveTime: 2018  totalTime: 2687  modelSize: 41293  readTime: 7 size: 11