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