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