(1,16) (2,5) (3,24) (4,29) (6,18) (7,12) (8,15) (9,21) (10,23) (11,13) (14,27) (17,20) (19,28) (22,25) (26,30) 
nodes: 213699  conflicts: 6  modelTime: 1686  solveTime: 1409377  totalTime: 1411099  modelSize: 72264  readTime: 36 size: 15