(1,23) (2,25) (3,20) (4,24) (5,21) (6,30) (7,28) (8,19) (10,26) (11,17) (12,27) (13,16) (14,29) (15,22) 
nodes: 36829  conflicts: 46  modelTime: 656  solveTime: 58333  totalTime: 58996  modelSize: 41293  readTime: 6 size: 14