(1,21) (2,11) (3,17) (4,20) (5,6) (7,24) (8,23) (9,30) (10,29) (12,16) (13,22) (14,28) (15,25) (18,19) (26,27) 
nodes: 69492  conflicts: 31  modelTime: 1727  solveTime: 225663  totalTime: 227410  modelSize: 72265  readTime: 20 size: 15