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