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