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