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