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