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