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