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