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