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