(1,23) (3,27) (4,21) (5,20) (7,13) (8,9) (10,30) (11,28) (12,29) (14,26) (15,18) (16,24) (17,19) (22,25) 
nodes: 288007  conflicts: 31  modelTime: 1720  solveTime: 1334485  totalTime: 1336224  modelSize: 72285  readTime: 19 size: 14