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