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