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