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