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