(1,25) (2,17) (3,19) (4,28) (5,20) (6,30) (7,21) (8,23) (9,13) (10,26) (11,15) (12,16) (14,18) (22,29) (24,27) 
nodes: 386905  conflicts: 23  modelTime: 970  solveTime: 1761853  totalTime: 1762834  modelSize: 72285  readTime: 11 size: 15