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