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