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