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