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