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