(1,27) (6,10) (8,9) (11,16) (13,22) (14,17) (15,19) (18,21) (25,30) (26,28) 
nodes: 370  conflicts: 171  modelTime: 946  solveTime: 2524  totalTime: 3482  modelSize: 72262  readTime: 12 size: 10