(1,18) (2,16) (3,28) (4,25) (5,26) (6,30) (7,21) (9,22) (10,29) (11,27) (12,19) (13,23) (15,17) 
nodes: 1324  conflicts: 50  modelTime: 679  solveTime: 929  totalTime: 1615  modelSize: 41293  readTime: 7 size: 13