(1,12) (2,16) (3,20) (4,18) (6,13) (7,21) (8,22) (9,19) (10,27) (11,29) (14,30) (15,26) (17,24) (25,28) 
nodes: 3839  conflicts: 97  modelTime: 1716  solveTime: 19338  totalTime: 21075  modelSize: 72262  readTime: 21 size: 14