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