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