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