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