(2,12) (3,5) (4,26) (6,20) (7,24) (8,29) (9,10) (11,16) (13,27) (14,30) (15,28) (17,18) (19,23) (21,22) 
nodes: 4419  conflicts: 39  modelTime: 1639  solveTime: 19997  totalTime: 21647  modelSize: 72262  readTime: 11 size: 14