(1,16) (2,23) (3,24) (4,15) (5,28) (6,8) (7,9) (10,13) (11,27) (12,26) (14,18) (17,29) (19,30) (20,25) (21,22) 
nodes: 1087285  conflicts: 32  modelTime: 1307  solveTime: 4990735  totalTime: 4992060  modelSize: 72285  readTime: 18 size: 15