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