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