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