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