(1,30) (2,17) (3,28) (4,25) (5,27) (6,19) (8,24) (9,18) (11,16) (12,26) (13,22) (14,21) (15,29) 
nodes: 3527  conflicts: 22  modelTime: 686  solveTime: 7980  totalTime: 8672  modelSize: 41293  readTime: 6 size: 13