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