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