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