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