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