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