(1,23) (2,18) (3,25) (4,30) (5,19) (6,24) (8,21) (9,20) (10,28) (11,26) (12,17) (14,27) (15,29) 
nodes: 22925  conflicts: 39  modelTime: 665  solveTime: 59119  totalTime: 59791  modelSize: 41298  readTime: 7 size: 13