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