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