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