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