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