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