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