(1,22) (2,18) (3,30) (4,9) (5,15) (6,17) (7,27) (8,14) (10,16) (11,21) (13,23) (19,29) (24,28) (25,26) 
nodes: 5542  conflicts: 69  modelTime: 1177  solveTime: 21208  totalTime: 22406  modelSize: 72263  readTime: 21 size: 14