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