(1,7) (2,15) (3,6) (4,26) (5,16) (8,17) (10,21) (11,24) (12,19) (14,29) (18,30) (20,25) (22,27) (23,28) 
nodes: 16611  conflicts: 59  modelTime: 942  solveTime: 46249  totalTime: 47202  modelSize: 72266  readTime: 11 size: 14