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