(1,18) (3,24) (4,22) (5,25) (6,10) (7,29) (8,30) (9,16) (12,19) (13,23) (14,15) (17,27) (20,26) (21,28) 
nodes: 50794  conflicts: 62  modelTime: 927  solveTime: 191786  totalTime: 192725  modelSize: 72263  readTime: 12 size: 14