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