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