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