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