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