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