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