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