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