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