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