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