(1,19) (2,7) (3,24) (4,13) (5,6) (8,15) (9,27) (10,30) (11,22) (12,17) (14,18) (20,21) (23,26) (25,28) 
nodes: 43702  conflicts: 59  modelTime: 951  solveTime: 136079  totalTime: 137041  modelSize: 72263  readTime: 11 size: 14