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