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