(3,21) (4,16) (6,30) (7,24) (8,19) (9,25) (10,18) (11,17) (12,28) (13,23) (14,22) (15,20) 
nodes: 1281  conflicts: 36  modelTime: 673  solveTime: 1800  totalTime: 2479  modelSize: 41298  readTime: 6 size: 12