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