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