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