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