(1,16) (2,20) (3,13) (4,17) (5,15) (6,11) (7,18) (8,10) (9,23) (12,29) (14,30) (19,24) (21,26) (22,28) (25,27) 
nodes: 195279  conflicts: 31  modelTime: 942  solveTime: 895527  totalTime: 896480  modelSize: 72265  readTime: 11 size: 15