(1,16) (2,17) (3,25) (4,30) (5,28) (6,24) (7,23) (8,21) (9,22) (10,29) (11,26) (12,20) (13,18) (14,19) (15,27) 
nodes: 16411  conflicts: 7  modelTime: 655  solveTime: 34035  totalTime: 34694  modelSize: 41293  readTime: 4 size: 15