(1,8) (2,19) (3,22) (4,9) (5,23) (6,16) (7,24) (10,27) (11,14) (13,15) (18,25) (20,29) (21,26) (28,30) 
nodes: 11241  conflicts: 77  modelTime: 1125  solveTime: 51191  totalTime: 52328  modelSize: 72263  readTime: 11 size: 14