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