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