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