(1,9) (2,5) (3,6) (4,27) (7,20) (10,15) (11,24) (12,26) (13,23) (14,25) (16,28) (21,30) 
nodes: 1329  conflicts: 122  modelTime: 1138  solveTime: 6289  totalTime: 7449  modelSize: 72263  readTime: 21 size: 12