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