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