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