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