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