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