(1,27) (2,20) (3,13) (4,26) (5,15) (6,24) (7,18) (8,9) (10,16) (11,19) (12,17) (14,28) (22,30) (25,29) 
nodes: 12972  conflicts: 31  modelTime: 1703  solveTime: 38386  totalTime: 40109  modelSize: 72268  readTime: 20 size: 14