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