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