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