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