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