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