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