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