(1,7) (2,25) (3,14) (4,23) (5,13) (6,9) (8,29) (10,27) (11,20) (12,16) (15,17) (18,21) (19,28) (22,30) (24,26) 
nodes: 73618  conflicts: 37  modelTime: 1722  solveTime: 320517  totalTime: 322259  modelSize: 72275  readTime: 20 size: 15