(1,15) (2,20) (4,10) (6,8) (7,27) (9,12) (11,18) (13,17) (14,23) (16,22) (19,30) (21,28) (25,29) 
nodes: 4353  conflicts: 72  modelTime: 943  solveTime: 14478  totalTime: 15450  modelSize: 72266  readTime: 29 size: 13