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