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