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