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