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