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