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