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