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