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