(1,12) (2,21) (3,18) (4,14) (5,30) (6,17) (7,9) (8,19) (10,26) (11,20) (15,29) (16,24) (22,27) (25,28) 
nodes: 872  conflicts: 50  modelTime: 1211  solveTime: 3409  totalTime: 4644  modelSize: 72263  readTime: 24 size: 14