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