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