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