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