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