(1,20) (2,23) (3,16) (5,24) (6,15) (7,18) (8,29) (9,26) (10,22) (11,14) (12,17) (13,30) (19,28) (21,25) 
nodes: 36972  conflicts: 32  modelTime: 1116  solveTime: 180324  totalTime: 181451  modelSize: 72262  readTime: 11 size: 14