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