(1,24) (2,12) (3,30) (4,19) (5,28) (6,27) (7,8) (9,18) (10,15) (14,21) (16,26) (20,23) (25,29) 
nodes: 3412  conflicts: 64  modelTime: 940  solveTime: 10606  totalTime: 11557  modelSize: 72263  readTime: 11 size: 13