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