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