(1,21) (3,30) (4,22) (5,18) (7,24) (8,23) (9,16) (10,19) (12,26) (13,17) (14,20) (15,27) 
nodes: 3263  conflicts: 41  modelTime: 664  solveTime: 4003  totalTime: 4673  modelSize: 41293  readTime: 6 size: 12