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