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