(1,13) (2,24) (3,6) (4,27) (5,26) (7,11) (8,14) (9,25) (10,18) (12,19) (15,20) (21,30) (28,29) 
nodes: 14171  conflicts: 58  modelTime: 1731  solveTime: 64913  totalTime: 66664  modelSize: 72263  readTime: 20 size: 13