(1,16) (2,20) (3,4) (5,28) (6,8) (7,24) (9,13) (10,25) (11,26) (12,23) (14,17) (15,27) (19,30) (21,29) 
nodes: 21439  conflicts: 36  modelTime: 1702  solveTime: 92594  totalTime: 94316  modelSize: 72268  readTime: 20 size: 14