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