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