(1,16) (2,12) (3,26) (4,13) (5,24) (6,7) (8,9) (10,20) (11,23) (14,15) (17,21) (22,27) (25,28) (29,30) 
nodes: 2969  conflicts: 68  modelTime: 1032  solveTime: 12018  totalTime: 13061  modelSize: 72262  readTime: 11 size: 14