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