(1,23) (2,12) (3,14) (4,18) (5,19) (6,11) (7,28) (8,15) (9,30) (10,27) (13,16) (17,25) (20,29) (21,24) (22,26) 
nodes: 3953  conflicts: 5  modelTime: 1682  solveTime: 32267  totalTime: 33962  modelSize: 72338  readTime: 13 size: 15