(1,21) (2,22) (3,27) (6,16) (9,26) (10,30) (11,25) (12,29) (13,28) (14,17) (15,19) 
nodes: 980  conflicts: 67  modelTime: 668  solveTime: 906  totalTime: 1580  modelSize: 41301  readTime: 6 size: 11