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