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