(2,20) (3,18) (4,16) (5,19) (6,7) (8,15) (9,12) (10,23) (11,28) (13,30) (14,21) (22,25) (24,27) (26,29) 
nodes: 3558  conflicts: 65  modelTime: 979  solveTime: 12572  totalTime: 13563  modelSize: 72262  readTime: 12 size: 14