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