(1,8) (3,29) (4,28) (5,18) (6,12) (7,25) (9,13) (10,30) (11,19) (14,26) (15,24) (16,22) (17,23) (21,27) 
nodes: 3764  conflicts: 22  modelTime: 1113  solveTime: 17917  totalTime: 19041  modelSize: 72269  readTime: 11 size: 14