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