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