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