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