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