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