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