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