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