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