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