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