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