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