(1,27) (4,25) (5,26) (6,17) (8,30) (9,29) (10,21) (11,24) (12,18) (13,28) (14,22) (15,20) 
nodes: 3529  conflicts: 34  modelTime: 657  solveTime: 5655  totalTime: 6319  modelSize: 41298  readTime: 7 size: 12