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