(1,20) (2,16) (3,18) (4,19) (5,24) (6,8) (7,26) (9,21) (10,23) (11,12) (13,14) (15,30) (17,29) (27,28) 
nodes: 3117  conflicts: 43  modelTime: 1592  solveTime: 11125  totalTime: 12736  modelSize: 72266  readTime: 19 size: 14